@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

psr:-QLGNKBD8-R
  skos:prefLabel "ensemble"@fr, "set"@en ;
  a skos:Concept ;
  skos:narrower psr:-MD58W50J-R .

psr:-MD58W50J-R
  skos:narrower psr:-LHB30R8F-X, psr:-GDRXL04H-7 ;
  a skos:Concept ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Ensemble_partiellement_ordonn%C3%A9>, <https://en.wikipedia.org/wiki/Partially_ordered_set> ;
  skos:inScheme psr: ;
  skos:related psr:-VKN6FRMV-X ;
  skos:prefLabel "ensemble partiellement ordonné"@fr, "partially ordered set"@en ;
  skos:definition """En mathématiques, un ensemble partiellement ordonné (parfois appelé poset d'après l'anglais partially ordered set) formalise et généralise la notion intuitive d'ordre ou d'arrangement entre les éléments d'un ensemble. Un ensemble partiellement ordonné est un ensemble muni d'une relation d'ordre qui indique que pour certains couples d'éléments, l'un est plus petit que l'autre. Tous les éléments ne sont pas forcément comparables, contrairement au cas d'un ensemble muni d'un ordre total. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Ensemble_partiellement_ordonn%C3%A9">https://fr.wikipedia.org/wiki/Ensemble_partiellement_ordonn%C3%A9</a>)"""@fr, """In mathematics, especially order theory, a partial order on a set is an arrangement such that, for certain pairs of elements, one precedes the other. The word partial is used to indicate that not every pair of elements needs to be comparable; that is, there may be pairs for which neither element precedes the other. Partial orders thus generalize total orders, in which every pair is comparable. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Partially_ordered_set">https://en.wikipedia.org/wiki/Partially_ordered_set</a>)"""@en ;
  skos:broader psr:-QLGNKBD8-R ;
  dc:modified "2024-10-18"^^xsd:date ;
  dc:created "2023-08-21"^^xsd:date .

psr:-VKN6FRMV-X
  skos:prefLabel "cofinality"@en, "cofinalité"@fr ;
  a skos:Concept ;
  skos:related psr:-MD58W50J-R .

psr:-GDRXL04H-7
  skos:prefLabel "condition de chaîne dénombrable"@fr, "countable chain condition"@en ;
  a skos:Concept ;
  skos:broader psr:-MD58W50J-R .

psr:-LHB30R8F-X
  skos:prefLabel "arbre"@fr, "tree"@en ;
  a skos:Concept ;
  skos:broader psr:-MD58W50J-R .

psr: a skos:ConceptScheme .