4.1.3 关系模式的数学定义