7.2 偏序集的定义和 ζ 矩阵表示