关系的除法运算