relational division