空集合(くうしゅうごう)とは、何も含まない集合のこと。∅の記号で表される。部分集合を構成する一つの要素でもある。また、空集合の部分集合はその空集合自身のみである。
以下のように、該当するものが存在しない集合が空集合となる。