5.1.3 二元关系的定义