～A：A的补集

有时候空集是元素，有时候就是纯粹的空集

A-B的定义： 

 笛卡尔积：

 求等价关系：先求划分再一一列举

 不同划分：分几块。一块：两块：三块：分别计算

 Ix是X上的恒等关系指包含:<a，a><b，b><c，c>

Rc：逆矩阵

比如：<2，1>就变成了<1，2> 交：合取

并：析取

蓝色这里，是指把A补全了，让他变成一个等价关系的东西。