关系性质判定器

在下面的方格上点选关系矩阵（蓝底 = 1），程序会立刻判定该关系在集合 A = {1, 2, 3} 上是否具有自反性、反自反性、对称性、反对称性与传递性，并给出理由。矩阵的 i 行 j 列对应有序对 ⟨i, j⟩。