ula_6，后者常被误用为空集符号。formula_6的中间为一长竖，中间的圈也较小，与formula_2的斜线和大圆不同。）。提出用北欧字母为符号的，是布尔巴基小组成员安德烈·韦伊。他在自传写道：空集符号∅的Unicode编码为U+2205，TeX代码是codice_1或codice_2（后者是AMS符号，很多人较喜欢后者的字形）。
性质.（这里采用数学符号）。集合论中，两个集合相等，若它们有相同的元素；那么仅可能有一个集合是没有元素的，即空集是唯一的。考虑空集为