学上，单元素集合是由唯一一个元素组成的集合。例如，集合 {0} 是个单元素集合。注意，集合诸如 <nowiki></nowiki> 也是单元素集合，唯一的元素是一个集合（这个集合可能本身不是单元素集合）。一个集合是单元素集合，当且仅当它的势为1。在自然数的集合论定义中，数字 1 就是"定义"为单元素集合 {0}。在公理集合论中，单元素集合的存在性是空集公理和对集公理的结果：前者产生了空集 {}，后者应用于对集 {} 和 {}，产生了单元素集合 。若 "A" 是任意集合，"S" 是单元素集合，则存