Definition
Weak Singleton Axiom (First-Order Logic)
In the language of set theory with the membership relation symbol
, the weak singleton axiom is the sentence Every
belongs to a set . Unlike the singleton axiom, this does not require to be the only member of .