Definition
In set theory, a branch of mathematics, an urelement or ur-element is an object that is not a set, but that may be an element of a set. It is also referred to as an atom or individual. Ur-elements are also not identical with the empty set.
Related concepts
Abstract logicAckermann set theoryAczel's anti-foundation axiomAleph numberAlgebraic logicAlphabet (formal languages)ArgumentArityAtomic formulaAtomic model (mathematical logic)Atomic sentenceAutomata theoryAutomated theorem provingAxiomAxiom of choiceAxiom of extensionalityAxiom of infinityAxiom of regularityAxiom of superuniversalityAxiom schemaAxiom schema of comprehensionAxiomatic set theoryAxiomatic systemAxiomatization of Boolean algebrasBanach–Tarski paradoxBijectionBinary operationBoolean algebraBoolean algebras canonically definedBoolean functionCantor's diagonal argumentCantor's paradoxCantor's theoremCardinalityCartesian productCategorical theoryCategory (mathematics)Category of setsCategory theoryChurch encodingChurch–Turing thesisClass (set theory)Classical logicCodomainCompactness theoremComplement (set theory)Complete theoryComputability theoryComputable functionComputable setComputably enumerable setConcrete categoryConservative extensionConsistencyConstructible universeConstruction of the real numbersConstructive set theoryContinuum hypothesisCountable setDecidability (logic)Decision problemDeductive systemDiagram (mathematical logic)Domain of a functionDuality (mathematics)Element (mathematics)Elementary diagramElementary equivalenceElementary function arithmeticEmpty setEnumerationEquiconsistencyEquivalence relationEric W. WeissteinErnst ZermeloEuclid's ElementsEuclidean geometryExistential quantificationExpression (mathematics)Extension by definitionsExtension by new constant and function namesExtensionalityFinitary relationFinite-valued logicFinite model theoryFinite setFinitist set theoryFirst-order logicFirst-order theoryFixed-point logicForcing (mathematics)Formal grammarFormal languageFormal proofFormal semantics (logic)Formal systemFormation ruleFoundations of geometryFoundations of mathematicsFree logicFree variables and bound variablesFunction (mathematics)Functional predicateFundamenta MathematicaeFuzzy setGeneral set theoryGerman languageGrothendieck universeGround expressionGround formulaGödel's completeness theoremGödel's incompleteness theoremsGödel numberingHalting problemHereditary setHigher-order logicHilbert's axiomsHilbert systemHistory of logicHistory of mathematical logicImage (mathematics)Inaccessible cardinalIndependence (mathematical logic)InferenceInfinite-valued logicInfinite setInformation theoryInhabited setInjective functionInterpretation (logic)Interpretation (model theory)Interpretation functionIntersection (set theory)IsomorphismJean E. RubinJon BarwiseKolmogorov complexityKripke's theory of truthKripke–Platek set theoryKripke–Platek set theory with urelementsLambda calculusLarge cardinalLemma (mathematics)Lindström's theoremList of Hilbert systemsList of axiomsList of first-order theoriesList of formal systemsList of mathematical theoriesList of set identities and relationsList of statements independent of ZFCLogicLogical biconditionalLogical conjunctionLogical connectiveLogical consequenceLogical constantLogical disjunctionLogical equalityLogical equivalenceLogical truthLogicismLöwenheim–Skolem theoremMany-valued logicMap (mathematics)Material conditionalMathWorldMathematical logicMathematical objectMathematicsMetalanguageMinimal axioms for Boolean algebraMinimal elementModel complete theoryModel theoryMonadic predicate calculusMonadic second-order logicMorse–Kelley set theoryNP (complexity)Naive set theoryNatural deductionNegationNew FoundationsNon-Euclidean geometryNon-logical symbolNon-standard modelNon-standard model of arithmeticNon-well-founded set theoryOpen formulaOperation (mathematics)Ordinal analysisOrdinal numberP (complexity)P versus NP problemParadoxes of set theoryPartition of a setPatrick SuppesPeano arithmeticPeano axiomsPermutation modelPeter AczelPhilosophy of mathematicsPower setPredicate (mathematical logic)Predicate logicPredicate variablePrime modelPrimitive recursive arithmeticPrimitive recursive functionPrincipia MathematicaPrinciple of explosionProof of impossibilityProof theoryProper classProper classesPropositionPropositional calculusPropositional formulaPropositional variableQuantifier (logic)Quantifier rankRecursionRecursive setRelation (mathematics)Reverse mathematicsRobinson arithmeticRonald JensenRule of inferenceRussell's paradoxSatisfiabilitySaturated modelSchröder–Bernstein theoremSecond-order arithmeticSecond-order logicSelf-verifying theoriesSemantic theory of truthSemantics of logicSentence (mathematical logic)Sequent calculusSet (mathematics)Set theorySignature (logic)Singleton (mathematics)Skolem arithmeticSoundnessSpectrum of a sentenceSpectrum of a theorySquare of oppositionStratification (mathematics)Strength (mathematical logic)String (formal languages)Structure (mathematical logic)Substitution (logic)Substructure (mathematics)SupertaskSurjective functionSyllogismSymbol (formal)Syntax (logic)T-schemaTarski's axiomatization of the realsTarski's axiomsTarski's theory of truthTarski's undefinability theoremTarski–Grothendieck set theoryTautology (logic)Term (logic)Term logicTheoremTheories of truthTheory (mathematical logic)Thomas Forster (mathematician)Thomas JechThree-valued logicTimeline of mathematical logicTransfer principleTransitive setTrue arithmeticTruth predicateTruth tableTruth valueTuring machineType (model theory)Type theoryUltrafilter (set theory)UltraproductUnary relationUncountable setUndecidable problemUninterpreted functionUnion (set theory)Uniqueness quantificationUniversal quantificationUniversal setUniverseUniverse (mathematics)Validity (logic)Variable (mathematics)Venn diagramVon Neumann hierarchyVon Neumann universeVon Neumann–Bernays–Gödel set theoryWell-formed formulaWillard Van Orman QuineZFCZermelo set theoryZermelo–Fraenkel set theory
138 concepts already in your glossary