4.1.1 关系的数学定义