4.3.1 关系的逆运算