１．１計算の基礎理論(2)

１．１．２　集合

集合：同じ属性の集まりである。
a∈S　元素a属于集合S。
S1⊂S2 集合S1包含于(属于)S2。亦即集合S1是集合S2的子集。
集合的运算
集合的运算有：
和(∪)、積(∩)、差(―)(上线)。其实这分别等于逻辑运算的and、or和not。而且运算公式也完全一样。同样适合交换律、结合律、分配率、吸收率和ド・モルガン法則。