一階論理の統語論と意味論_予備知識

集合\(X\)と集合\(Y\)の共通集合とは、\(X\)と\(Y\)の両方の要素であるものを要素とする集合であり、\(X\cap Y\)と記す。

集合\(X\)と集合\(Y\)の和集合とは、\(X\)と\(Y\)の両方の要素であるものを要素とする集合であり、\(X\cup Y\)と記す。

集合\(X\)と集合\(Y\)の補集合とは、\(X\)の要素ではないものを要素とする集合であり、\(X\,^c\)
と記す。

集合\(X\)と集合\(Y\)の差集合とは、\(X\)の要素であり、かつ\(Y\)の要素ではないものを要素とする集合であり、\(X-Y\)と記す。