要素ようそ を 1 つももたない集合しゅうごう。 ∅ ま た は {} で 表ひょう す。 任意にんい の 集合しゅうごう の 部分ぶぶん集合しゅうごう。
空そら集合しゅうごう ∅\emptyset∅ とは、要素ようそが 1 つもない集合しゅうごうです。
たとえば「2 乗じょうして負まけになる実数じっすうの集合しゅうごう」は要素ようそがないので空そら集合しゅうごうです。任意にんいの集合しゅうごうAAA に対たいし ∅⊂A\emptyset \subset A∅⊂A（空そら集合しゅうごうはどんな集合しゅうごうの部分集合ぶぶんしゅうごうでもある）と約束やくそくされています。{0}\{0\}{0} や {∅}\{\emptyset\}{∅} は要素ようそを 1 つ持もつので空そら集合しゅうごうとは異ことなる点てんに注意ちゅういします。
注意ちゅうい 000 と ∅\emptyset∅、{0}\{0\}{0} と ∅\emptyset∅ は別物べつもの。000 は数かず、∅\emptyset∅ は中身なかみゼロの集合しゅうごう、{0}\{0\}{0} は「000 という要素ようそを 1 つ持もつ集合しゅうごう」。
