书上给“除运算”的定义是：

设关系R除以关系S的结果为关系T，则T包含所有在R但不在S中的属性及其值，且T的元组与S的元组的所有组合都在R中。

我对此不是很理解。 直到看到这样的解读，方才恍然大悟：