集合の代数学
集合の代数学（しゅうごうのだいすうがく、）は、集合の集まりを結び・交わり・補演算といった集合演算、集合の相等関係・包含関係のような二項関係などを持つ体系として捉えたものである。集合の代数学を考えることで、集合に関する基本的な性質・法則を明らかにし、これらの演算や関係に伴って必要となる式の評価や計算の実行に関して系統的な扱いができるようになる。