@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: a skos:ConceptScheme .
psr:-DH2QDZ2J-2
  skos:definition """En mathématiques, la <b>droite réelle achevée</b> désigne l'ensemble ordonné constitué des nombres réels auxquels sont adjoints deux éléments supplémentaires&nbsp;: un plus grand élément, noté <span class="texhtml">+∞</span> et un plus petit élément, noté <span class="texhtml">–∞</span>. Elle est notée <span class="texhtml">[–∞, +∞]</span>, ℝ ∪ <span class="texhtml">{–∞, +∞}</span> ou <span style="text-decoration: overline;">ℝ</span> (notation toutefois ambiguë, car la barre signifie généralement "complémentaire" en théorie des ensembles, ou "adhérence" en topologie). 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Droite_r%C3%A9elle_achev%C3%A9e">https://fr.wikipedia.org/wiki/Droite_r%C3%A9elle_achev%C3%A9e</a>)"""@fr, """In mathematics, the affinely extended real number system is obtained from the real number system R by adding two infinity elements: +∞ and −∞, where the infinities are treated as actual numbers. It is useful in describing the algebra on infinities and the various limiting behaviors in calculus and mathematical analysis, especially in the theory of measure and integration. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Extended_real_number_line">https://en.wikipedia.org/wiki/Extended_real_number_line</a>)"""@en ;
  skos:prefLabel "droite réelle achevée"@fr, "extended real number line"@en ;
  skos:inScheme psr: ;
  skos:broader psr:-XZBJ865P-9, psr:-SKTRS1V0-R ;
  dc:modified "2023-07-03"^^xsd:date ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Droite_r%C3%A9elle_achev%C3%A9e>, <https://en.wikipedia.org/wiki/Extended_real_number_line> ;
  a skos:Concept ;
  dc:created "2023-07-03"^^xsd:date .

psr:-XZBJ865P-9
  skos:prefLabel "nombre réel"@fr, "real number"@en ;
  a skos:Concept ;
  skos:narrower psr:-DH2QDZ2J-2 .

psr:-SKTRS1V0-R
  skos:prefLabel "real analysis"@en, "analyse réelle"@fr ;
  a skos:Concept ;
  skos:narrower psr:-DH2QDZ2J-2 .