数学における単集合（たんしゅうごう、; 単元集合、単項集合、一元集合）あるいは単位集合（）は、唯一の元からなる集合である。一つ組 (1-tuple) や単項列 (a sequence with one element) と言うこともできる。例えば、{0} という集合は単集合である。ツェルメロ・フレンケル集合論の枠組みの中では正則性の公理が「自身を元とする集合」が存在しないことを保証するから、単元集合とその単元集合を含む集合とは必然的に異なる数学的対象を意味するものとなる。つまり、1 と {1} とは同じものではないし、空集合のみからなる単項集合 {∅} は 空集合 ∅ ではない。また、例えば、 のような集合も唯一の集合（それ自体は単集合ではないが）を元として持つ単集合である。単集合であることと、その集合の濃度が 1 であることは同値である。自然数の集合論的構成において、自然数の 1 とは単集合 {0} のことと定義される。公理的集合論において、対の公理からの帰結として単元集合の存在が導かれる。即ち、任意の集合 "A" に対して、"A" と "A" に対して対の公理を適用すれば {"A

出典:wikipedia