@prefix psr: . @prefix skos: . psr:-P4VMDJPB-V skos:prefLabel "espace fonctionnel"@fr, "function space"@en ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-WW29XR9H-G skos:prefLabel "cover"@en, "recouvrement"@fr ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-C1C1Z6ZF-X skos:prefLabel "Martin's axiom"@en, "axiome de Martin"@fr ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr: a skos:ConceptScheme ; skos:hasTopConcept psr:-T88XBMNP-M . psr:-RMP0BKNQ-Q skos:prefLabel "axiome du choix"@fr, "axiom of choice"@en ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-GBTCQ5Z8-N skos:prefLabel "Euler diagram"@en, "diagramme d'Euler"@fr ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-GS9K39MB-M skos:prefLabel "class"@en, "classe"@fr ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-H2027HLR-D skos:prefLabel "ordinal number"@en, "nombre ordinal"@fr ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-B4PHZ43K-K skos:prefLabel "théorème de Zermelo"@fr, "Zermelo's theorem"@en ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-RLCWSNXW-D skos:prefLabel "element"@en, "appartenance"@fr ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-Q4S38X2S-L skos:prefLabel "cardinality"@en, "cardinalité"@fr ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-JRSJ6RBM-L skos:prefLabel "lemme de Zorn"@fr, "Zorn's lemma"@en ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-GWVJ4B59-7 skos:prefLabel "théorie des ensembles de Zermelo-Fraenkel"@fr, "Zermelo-Fraenkel set theory"@en ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-SXB77XH7-Q skos:prefLabel "Cartesian product"@en, "produit cartésien"@fr ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-QLGNKBD8-R skos:prefLabel "ensemble"@fr, "set"@en ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-T88XBMNP-M skos:narrower psr:-BWZ74KHR-N, psr:-H9KD67PX-5, psr:-BHKJ3J85-2, psr:-TJ7FFF98-B, psr:-WZWTRVZJ-X, psr:-P4VMDJPB-V, psr:-RMP0BKNQ-Q, psr:-C53R8NDD-D, psr:-VWLLSCW9-R, psr:-DMTN3C45-S, psr:-B4PHZ43K-K, psr:-RCZ19XVF-5, psr:-H2027HLR-D, psr:-QLGNKBD8-R, psr:-RLCWSNXW-D, psr:-JRSJ6RBM-L, psr:-GBTCQ5Z8-N, psr:-VMJK1FFL-L, psr:-SM7TPDGF-Q, psr:-Q4S38X2S-L, psr:-KLGJXP99-N, psr:-GWVJ4B59-7, psr:-Q7XQ91FP-8, psr:-GS9K39MB-M, psr:-XGV4KK1S-V, psr:-SXB77XH7-Q, psr:-WW29XR9H-G, psr:-X1L1PGDL-T, psr:-GWMCBL64-C, psr:-PN7T60J5-4, psr:-WWSM7CVR-6, psr:-C1C1Z6ZF-X ; skos:definition """Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly concerned with those that are relevant to mathematics as a whole.
(Wikipedia, The Free Encyclopedia, https://en.wikipedia.org/wiki/Set_theory)"""@en, """La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du XIXe siècle. La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes… C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un "paradis" créé par Cantor pour les mathématiciens.
(Wikipedia, L'Encylopédie Libre, https://fr.wikipedia.org/wiki/Th%C3%A9orie_des_ensembles)"""@fr ; skos:prefLabel "set theory"@en, "théorie des ensembles"@fr ; skos:exactMatch , ; a skos:Concept ; skos:topConceptOf psr: ; skos:inScheme psr: . psr:-Q7XQ91FP-8 skos:prefLabel "Venn diagram"@en, "diagramme de Venn"@fr ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-BHKJ3J85-2 skos:prefLabel "diagramme de Carroll"@fr, "Carroll diagram"@en ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-WZWTRVZJ-X skos:prefLabel "inverse function"@en, "fonction réciproque"@fr ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-X1L1PGDL-T skos:prefLabel "bijection"@en, "bijection"@fr ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-XGV4KK1S-V skos:prefLabel "algebra of sets"@en, "algèbre des parties d'un ensemble"@fr ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-KLGJXP99-N skos:prefLabel "axiom of infinity"@en, "axiome de l'infini"@fr ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-H9KD67PX-5 skos:prefLabel "union-closed sets conjecture"@en, "conjecture des familles stables par unions"@fr ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-RCZ19XVF-5 skos:prefLabel "von Neumann universe"@en, "univers de von Neumann"@fr ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-VMJK1FFL-L skos:prefLabel "extremum"@en, "extremum"@fr ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-BWZ74KHR-N skos:prefLabel "function composition"@en, "composition de fonctions"@fr ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-VWLLSCW9-R skos:prefLabel "axiome de régularité"@fr, "axiom of regularity"@en ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-DMTN3C45-S skos:prefLabel "fonction caractéristique"@fr, "characteristic function"@en ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-GWMCBL64-C skos:prefLabel "Calkin algebra"@en, "algèbre de Calkin"@fr ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-SM7TPDGF-Q skos:prefLabel "paradoxe de Russell"@fr, "Russell's paradox"@en ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-TJ7FFF98-B skos:prefLabel "application"@fr, "map"@en ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-WWSM7CVR-6 skos:prefLabel "fonction identité"@fr, "identity function"@en ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-PN7T60J5-4 skos:prefLabel "category of sets"@en, "catégorie des ensembles"@fr ; a skos:Concept ; skos:broader psr:-T88XBMNP-M . psr:-C53R8NDD-D skos:prefLabel "fermeture transitive"@fr, "transitive closure"@en ; a skos:Concept ; skos:broader psr:-T88XBMNP-M .