Relational division