"urelement" meaning in English

{
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "ur",
        "3": "element",
        "t1": "primordial"
      },
      "expansion": "ur- (“primordial”) + element",
      "name": "prefix"
    }
  ],
  "etymology_text": "From ur- (“primordial”) + element.",
  "forms": [
    {
      "form": "urelements",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "urelement (plural urelements)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English terms prefixed with ur-",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Entries with translation boxes",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Icelandic translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Italian translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Set theory",
          "orig": "en:Set theory",
          "parents": [
            "Mathematics",
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "derived": [
        {
          "word": "KPU"
        },
        {
          "word": "NFU"
        }
      ],
      "examples": [
        {
          "text": "1996, Scientific Books staff (translators), Yuri L. Ershov, Definability and Computability, Scientific Books, page viii,\nThe 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."
        },
        {
          "ref": "2012, Nicholas J. J. Smith, Logic: The Laws of Truth, Princeton University Press, page 448:",
          "text": "There may be no urelements; as we shall see, we can still build plenty of sets in this case. At stage 0 we can always build the empty set. If there are no urelements, this is the only set we can build. If there is one urelement, a, we can build the sets #x5C;empty and #x5C;#x7B;a#x5C;#x7D;. If there are two urelements, a and b, the possible sets are #x5C;#x7B;a#x5C;#x7D;, #x5C;#x7B;b#x5C;#x7D;, and #x5C;#x7B;a,b#x5C;#x7D;; and so on if there are more urelements.\nAt stage 1, we can build any set containing urelements or sets built at stage 0; that is, any set whose members are already available at the beginning of stage 1. If there are no urelements, we can build #x5C;empty and #x5C;#x7B;#x5C;empty#x5C;#x7D;.",
          "type": "quote"
        },
        {
          "ref": "2013, Agustín Rayo, The Construction of Logical Space, Oxford University Press, page 95:",
          "text": "Let #x5C;mathcal#x7B;L#x7D;#x5C;alpha#x5F;#x5C;in be a version of the language of set-theory with urelements in which each occurrence of a quantifier is restricted by some V#x5F;#x5C;beta (#x5C;beta#x3C;#x5C;alpha).",
          "type": "quote"
        }
      ],
      "glosses": [
        "A mathematical object which is not a set but which can be an element of a set."
      ],
      "id": "en-urelement-en-noun-X3Dvne44",
      "links": [
        [
          "set theory",
          "set theory"
        ],
        [
          "set",
          "set"
        ]
      ],
      "raw_glosses": [
        "(set theory) A mathematical object which is not a set but which can be an element of a set."
      ],
      "related": [
        {
          "word": "hereditary set"
        },
        {
          "word": "pure set"
        },
        {
          "word": "Quine atom"
        }
      ],
      "synonyms": [
        {
          "word": "atom"
        },
        {
          "word": "ur-element"
        }
      ],
      "topics": [
        "mathematics",
        "sciences",
        "set-theory"
      ],
      "translations": [
        {
          "code": "is",
          "lang": "Icelandic",
          "sense": "mathematical object",
          "tags": [
            "neuter"
          ],
          "word": "frumstak"
        },
        {
          "code": "it",
          "lang": "Italian",
          "sense": "mathematical object",
          "word": "urelemento"
        }
      ]
    }
  ],
  "word": "urelement"
}

{
  "derived": [
    {
      "word": "KPU"
    },
    {
      "word": "NFU"
    }
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "ur",
        "3": "element",
        "t1": "primordial"
      },
      "expansion": "ur- (“primordial”) + element",
      "name": "prefix"
    }
  ],
  "etymology_text": "From ur- (“primordial”) + element.",
  "forms": [
    {
      "form": "urelements",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "urelement (plural urelements)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "related": [
    {
      "word": "hereditary set"
    },
    {
      "word": "pure set"
    },
    {
      "word": "Quine atom"
    }
  ],
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "English lemmas",
        "English nouns",
        "English terms prefixed with ur-",
        "English terms with quotations",
        "Entries with translation boxes",
        "Pages with 1 entry",
        "Pages with entries",
        "Terms with Icelandic translations",
        "Terms with Italian translations",
        "en:Set theory"
      ],
      "examples": [
        {
          "text": "1996, Scientific Books staff (translators), Yuri L. Ershov, Definability and Computability, Scientific Books, page viii,\nThe 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."
        },
        {
          "ref": "2012, Nicholas J. J. Smith, Logic: The Laws of Truth, Princeton University Press, page 448:",
          "text": "There may be no urelements; as we shall see, we can still build plenty of sets in this case. At stage 0 we can always build the empty set. If there are no urelements, this is the only set we can build. If there is one urelement, a, we can build the sets #x5C;empty and #x5C;#x7B;a#x5C;#x7D;. If there are two urelements, a and b, the possible sets are #x5C;#x7B;a#x5C;#x7D;, #x5C;#x7B;b#x5C;#x7D;, and #x5C;#x7B;a,b#x5C;#x7D;; and so on if there are more urelements.\nAt stage 1, we can build any set containing urelements or sets built at stage 0; that is, any set whose members are already available at the beginning of stage 1. If there are no urelements, we can build #x5C;empty and #x5C;#x7B;#x5C;empty#x5C;#x7D;.",
          "type": "quote"
        },
        {
          "ref": "2013, Agustín Rayo, The Construction of Logical Space, Oxford University Press, page 95:",
          "text": "Let #x5C;mathcal#x7B;L#x7D;#x5C;alpha#x5F;#x5C;in be a version of the language of set-theory with urelements in which each occurrence of a quantifier is restricted by some V#x5F;#x5C;beta (#x5C;beta#x3C;#x5C;alpha).",
          "type": "quote"
        }
      ],
      "glosses": [
        "A mathematical object which is not a set but which can be an element of a set."
      ],
      "links": [
        [
          "set theory",
          "set theory"
        ],
        [
          "set",
          "set"
        ]
      ],
      "raw_glosses": [
        "(set theory) A mathematical object which is not a set but which can be an element of a set."
      ],
      "synonyms": [
        {
          "word": "atom"
        }
      ],
      "topics": [
        "mathematics",
        "sciences",
        "set-theory"
      ]
    }
  ],
  "synonyms": [
    {
      "word": "ur-element"
    }
  ],
  "translations": [
    {
      "code": "is",
      "lang": "Icelandic",
      "sense": "mathematical object",
      "tags": [
        "neuter"
      ],
      "word": "frumstak"
    },
    {
      "code": "it",
      "lang": "Italian",
      "sense": "mathematical object",
      "word": "urelemento"
    }
  ],
  "word": "urelement"
}