Zermelo-Fraenkel with Atoms (ZFA)

• Variant of ZF allowing urelements.
• Urelement: an object not equal to $\varnothing$ and not containing anything.