nLab
urelement

An urelement, also called an atom, in a material set theory is a thing which is not a set. Many common material set theories, such as ZFC, do not by default allow urelements; thus everything is a set and all sets are pure. However, they can usually be easily modified to allow urelements — one such version is ZFA. Quine's New Foundations is consistent with the axiom of choice only if it allows urelements.

Last revised on November 16, 2012 at 19:24:44. See the history of this page for a list of all contributions to it.