除运算符（÷）主要用于找出一个关系中完全包含另一个关系的元组，是关系代数中比较复杂的运算。