「空集合」の版間の差分

'''空集合'''（くうしゅうごう、{{lang-en-short|empty set}}）は、元要素を一切持たない集合の事である。[[公理的集合論]]において、空集合は[[空集合の公理|公理]]として存在を仮定される場合と、他の公理から存在が導かれる場合がある。空集合を表す記号として、&empty; または <math>\emptyset</math>、 {} がある。記号 &empty; はノルウェー語等で用いられるアルファベット [[&Oslash;]] に由来しており、形の似ている[[ギリシャ文字]]φ, Φ（ファイ）とは全く関係がない。