7.1 全序集的定义和 ζ 关联矩阵表示