{"id":"Q36161","label":"set","description":"well-defined mathematical collection of distinct objects","aliases":["mathematical set","sets (mathematics)"],"kind":"thing","url":"https://aidb.si/e/set-Q36161","image":"https://commons.wikimedia.org/wiki/Special:FilePath/Example_of_a_set.svg?width=1200","coordinates":null,"wikipedia":"https://en.wikipedia.org/wiki/Set_(mathematics)","wikidata":"https://www.wikidata.org/wiki/Q36161","website":null,"facts":[{"property":"P279","label":"Subclass of","values":[{"type":"entity","id":"Q217594","label":"class","url":"https://aidb.si/e/class-Q217594","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"Q864377","label":"multiset","url":"https://aidb.si/e/multiset-Q864377","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"Q205464","label":"algebraic structure","url":"https://aidb.si/e/algebraic-structure-Q205464","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"Q140932321","label":"formal entity","url":"https://aidb.si/e/formal-entity-Q140932321","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P527","label":"Members / parts","values":[{"type":"entity","id":"Q379825","label":"element","url":"https://aidb.si/e/element-Q379825","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P31","label":"Instance of","values":[{"type":"entity","id":"Q6453739","label":"primitive notion","url":"https://aidb.si/e/primitive-notion-Q6453739","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P2283","label":"Uses","values":[{"type":"entity","id":"Q937228","label":"property","url":"https://aidb.si/e/property-Q937228","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P828","label":"Cause","values":[{"type":"entity","id":"Q5421961","label":"extensional definition","url":"https://aidb.si/e/extensional-definition-Q5421961","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"Q1026899","label":"intensional definition","url":"https://aidb.si/e/intensional-definition-Q1026899","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P1963","label":"Properties for this type","values":[{"type":"entity","id":"P2820","label":"set cardinality","url":"https://aidb.si/e/set-cardinality-P2820","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"P2738","label":"disjoint union of","url":"https://aidb.si/e/disjoint-union-of-P2738","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"P2737","label":"union of","url":"https://aidb.si/e/union-of-P2737","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"P2670","label":"has part(s) of the class","url":"https://aidb.si/e/has-part-s-of-the-class-P2670","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P1535","label":"Used by","values":[{"type":"entity","id":"Q1964995","label":"set operation","url":"https://aidb.si/e/set-operation-Q1964995","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P1889","label":"Different from","values":[{"type":"entity","id":"Q16887380","label":"group","url":"https://aidb.si/e/group-Q16887380","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"Q16889133","label":"class","url":"https://aidb.si/e/class-Q16889133","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"Q1514741","label":"set","url":"https://aidb.si/e/set-Q1514741","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P2579","label":"Studied by","values":[{"type":"entity","id":"Q12482","label":"set theory","url":"https://aidb.si/e/set-theory-Q12482","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P2534","label":"Defining formula","values":[{"type":"string","value":"\\exists Y\\colon X\\in Y","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P7235","label":"In defining formula","values":[{"type":"string","value":"\\in","rank":"normal","qualifiers":{"P9758":{"label":"Symbol represents","values":[{"type":"entity","id":"Q655288","label":"is an element of","url":"https://aidb.si/e/is-an-element-of-Q655288"}]}},"sources":[]},{"type":"string","value":"X","rank":"normal","qualifiers":{"P9758":{"label":"Symbol represents","values":[{"type":"entity","id":"Q36161","label":"set","url":"https://aidb.si/e/set-Q36161"}]}},"sources":[]},{"type":"string","value":"Y","rank":"normal","qualifiers":{"P9758":{"label":"Symbol represents","values":[{"type":"entity","id":"Q217594","label":"class","url":"https://aidb.si/e/class-Q217594"}]}},"sources":[]},{"type":"string","value":"\\exists","rank":"normal","qualifiers":{"P9758":{"label":"Symbol represents","values":[{"type":"entity","id":"Q773483","label":"existential quantification","url":"https://aidb.si/e/existential-quantification-Q773483"}]}},"sources":[]}]}],"series":[],"identifiers":[{"pid":"P6771","label":"Arabic Ontology concept ID","value":"293236","url":"https://ontology.birzeit.edu/concept/293236"},{"pid":"P2581","label":"BabelNet ID","value":"00070697n","url":"https://babelnet.org/synset?id=bn%00070697n&lang=EN"},{"pid":"P508","label":"BNCF Thesaurus ID","value":"5501","url":"https://thes.bncf.firenze.sbn.it/termine.php?id=5501"},{"pid":"P6564","label":"Brilliant Wiki ID","value":"sets","url":"https://brilliant.org/wiki/sets/"},{"pid":"P6706","label":"De Agostini ID","value":"insième+(matematica)","url":"https://www.sapere.it/enciclopedia/insi%C3%A8me%2B(matematica).html"},{"pid":"P1036","label":"Dewey Decimal Classification","value":"511.32","url":null},{"pid":"P1417","label":"Encyclopædia Britannica Online ID","value":"topic/set-mathematics-and-logic","url":"https://www.britannica.com/topic/set-mathematics-and-logic"},{"pid":"P7554","label":"Encyclopedia of Mathematics article ID","value":"Set","url":"https://encyclopediaofmath.org/wiki/Set"},{"pid":"P646","label":"Freebase ID","value":"/m/06mpr","url":"https://www.google.com/search?kgmid=/m/06mpr"},{"pid":"P227","label":"GND ID","value":"4038613-2","url":"https://d-nb.info/gnd/4038613-2"},{"pid":"P4342","label":"Great Norwegian Encyclopedia ID","value":"mengde_-_matematikk","url":"https://wikidata-externalid-url.toolforge.org/?p=4342&url_prefix=https://snl.no/&id=mengde_-_matematikk"},{"pid":"P11514","label":"Great Russian Encyclopedia portal ID","value":"mnozhestvo-v-matematike-2af36e","url":"https://bigenc.ru/c/mnozhestvo-v-matematike-2af36e"},{"pid":"P8855","label":"IEV number","value":"102-01-02","url":"https://www.electropedia.org/iev/iev.nsf/display?openform&ievref=102-01-02"},{"pid":"P8408","label":"KBpedia ID","value":"Set-Mathematical","url":"https://kbpedia.org/knowledge-graph/reference-concept/?uri=Set-Mathematical"},{"pid":"P8313","label":"Lex ID","value":"mængde","url":"https://wikidata-externalid-url.toolforge.org/?p=8313&url_prefix=https://lex.dk/&id=m%C3%A6ngde"},{"pid":"P2812","label":"MathWorld ID","value":"Set","url":"https://mathworld.wolfram.com/Set.html"},{"pid":"P8885","label":"Namuwiki ID","value":"집합","url":"https://namu.wiki/w/%EC%A7%91%ED%95%A9"},{"pid":"P6900","label":"NicoNicoPedia word article ID","value":"集合","url":"https://dic.nicovideo.jp/a/%E9%9B%86%E5%90%88"},{"pid":"P691","label":"NL CR AUT ID","value":"ph122926","url":"https://aleph.nkp.cz/F/?func=find-c&local_base=aut&ccl_term=ica=ph122926"},{"pid":"P4215","label":"NLab ID","value":"set","url":"https://ncatlab.org/nlab/show/set"},{"pid":"P1245","label":"OmegaWiki Defined Meaning","value":"6966","url":"http://www.omegawiki.org/DefinedMeaning:(6966)"},{"pid":"P5610","label":"OpenMath ID","value":"set1#set","url":"https://wikidata-externalid-url.toolforge.org/?p=5610&url_prefix=https://www.openmath.org/cd/&id=set1%23set"},{"pid":"P7726","label":"PlanetMath ID","value":"Set","url":"https://planetmath.org/Set"},{"pid":"P6781","label":"ProofWiki ID","value":"Definition:Set","url":"https://proofwiki.org/wiki/Definition%3ASet"},{"pid":"P1051","label":"PSH ID","value":"7132","url":"https://psh.techlib.cz/skos/PSH7132"},{"pid":"P9322","label":"SVKKL authority ID","value":"h0003621-mnoziny","url":"https://ipac.svkkl.cz/arl-kl/cs/detail-kl_us_auth-h0003621-mnoziny"},{"pid":"P3365","label":"Treccani ID","value":"insieme","url":"https://www.treccani.it/enciclopedia/insieme"},{"pid":"P5844","label":"Treccani Vocabulary ID","value":"insieme","url":"https://www.treccani.it/vocabolario/insieme"},{"pid":"P12800","label":"Vikidia article ID","value":"fr:Ensemble","url":"https://central.vikidia.org/wiki/fr%3AEnsemble"},{"pid":"P8814","label":"WordNet 3.1 Synset ID","value":"08016141-n","url":"https://en-word.net/view/synset/08016141-n"},{"pid":"P13591","label":"Yale LUX ID","value":"concept/7146bf0b-09ae-430d-bb88-139f4a7f34a5","url":"https://lux.collections.yale.edu/view/concept/7146bf0b-09ae-430d-bb88-139f4a7f34a5"},{"pid":"P2347","label":"YSO ID","value":"12530","url":"https://www.yso.fi/onto/yso/p12530"}],"license":{"name":"CC0 1.0","url":"https://creativecommons.org/publicdomain/zero/1.0/"},"source":"Wikidata, via AIDB","modified":"2026-10-05T01:50:25Z"}