Relational division
= Relational division
A <relational algebra> operation expressing a universal matching requirement. An explicit <relational difference> construction can specify the intended candidate universe, including the case of an empty divisor.