~A:A的补集
有时候空集是元素,有时候就是纯粹的空集
A-B的定义:
笛卡尔积:
求等价关系:先求划分再一一列举
不同划分:分几块。一块:两块:三块:分别计算
Ix是X上的恒等关系指包含:<a,a><b,b><c,c>
Rc:逆矩阵
比如:<2,1>就变成了<1,2> 交:合取
并:析取
蓝色这里,是指把A补全了,让他变成一个等价关系的东西。
~A:A的补集
有时候空集是元素,有时候就是纯粹的空集
A-B的定义:
笛卡尔积:
求等价关系:先求划分再一一列举
不同划分:分几块。一块:两块:三块:分别计算
Ix是X上的恒等关系指包含:<a,a><b,b><c,c>
Rc:逆矩阵
比如:<2,1>就变成了<1,2> 交:合取
并:析取
蓝色这里,是指把A补全了,让他变成一个等价关系的东西。