3.2 关系的数学定义
定义1：域（Domain）
定义2：笛卡儿积(Cartesian Product)
定义3：关系（Relation）