* 二元关系类及其测试
* 某一集合上的二元关系类
* 提供关系的性质判断 关系间的运算 求关系的闭包
* 判断自反性
* 判断反自反性
* 判断对称性性
* 判断反对称性
* 判断传递性
* 关系和合成运算
* 关系自身与某一关系的运算
* 两个关系之间的运算
* 求一关系的自反闭包
* 求一个关系的对称闭包
* 求一个关系的传递闭包
AND//关系的交运算
OR//关系的并运算
NOT//关系的非运算
XOR//关系的异或运算
SUB//关系的减运算
简单测试如下:
请输入关系矩阵的阶数
3
请输入第一个关系矩阵的各个元素值
1 0 1
1 1 1
1 0 1
请输入第二个关系矩阵的各个元素值
0 0 0
1 1 1
0 0 0
r的自反闭包是
1 0 1
1 1 1
1 0 1
r的对称闭包是
1 1 1
1 1 1
1 1 1
r的传递闭包是
1 0 1
1 1 1
1 0 1
r2是反对称的?
false
r和r2的并关系是
1 0 1
1 1 1
1 0 1
1