空集合
空集合(くうしゅうごう、英: empty set)は、要素を一切持たない集合のことである。公理的集合論において、空集合は公理として存在を仮定される場合と、他の公理から存在が導かれる場合がある。