离散数学与证明 I · 关系与函数

关系矩阵与四个性质判断

格子 (i,j) 亮起表示有序对 iRj 属于关系；矩阵、关系图和性质结论会同步更新。

A = {1, 2, 3, 4}

4×4 关系矩阵

0 个有序对

行标是有序对的第一个元素，列标是第二个元素；对角线格子对应自反性要检查的四个位置。

同步有向图

偏序示例
集合 A 上关系的有向图

自反 ?

对称 ?

反对称 ?

传递 ?

正在检查关系性质。