Urelement

English

Alternative forms

• Template:L

Etymology

From Template:Prefix.

Noun

1. Template:Lb A mathematical object which is not a set but which can be an element of a set.

   Template:Syn

   • 1996, Scientific Books staff (translators), Template:W, Definability and Computability, Scientific Books, page viii,

     The introduction of urelements would seem to be a technical improvement; however, now we know that just such an extension of the notion of the admissible set led to the universal theory of computability based on the notion of definability by formulas with (in a broad sense) effective semantics.

   • Template:Quote-book
   • Template:Quote-book

Usage notes

The standard axiomatisation of set theory, ZFC, ignores urelements. (By the axiom of extensionality, two sets whose only difference is that one contains urelements which the other does not would be equal.)

Derived terms

• Template:L
• Template:L

Translations

• Icelandic: Template:T
• Italian: Template:T

See also

• Template:L
• Template:L
• Template:L

Further reading

• Template:Pedia
• Template:Pedia
• Template:Pedia
• Template:Pedia
• Template:Pedia
• urelement on Template:W
• Urelement on Template:W