@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:-KFSNTTXP-S
  skos:prefLabel "general topology"@en, "topologie générale"@fr ;
  a skos:Concept ;
  skos:narrower psr:-MPQHSB53-6 .

psr:-MPQHSB53-6
  skos:exactMatch <https://fr.wikipedia.org/wiki/Compacit%C3%A9_(math%C3%A9matiques)>, <https://en.wikipedia.org/wiki/Compact_space> ;
  skos:broader psr:-KFSNTTXP-S ;
  skos:inScheme psr: ;
  skos:altLabel "espace compact"@fr, "compact space"@en ;
  dc:created "2023-07-21"^^xsd:date ;
  skos:prefLabel "compacité"@fr, "compactness"@en ;
  skos:definition """In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space. The idea is that a compact space has no "punctures" or "missing endpoints", i.e., it includes all limiting values of points. For example, the open interval (0,1) would not be compact because it excludes the limiting values of 0 and 1, whereas the closed interval [0,1] would be compact. Similarly, the space of rational numbers Q is not compact, because it has infinitely many "punctures" corresponding to the irrational numbers, and the space of real numbers R is not compact either, because it excludes the two limiting values + ∞ and − ∞. However, the extended real number line would be compact, since it contains both infinities. There are many ways to make this heuristic notion precise. These ways usually agree in a metric space, but may not be equivalent in other topological spaces. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Compact_space">https://en.wikipedia.org/wiki/Compact_space</a>)"""@en, """En topologie, on dit d'un espace qu'il est compact s'il est séparé et qu'il vérifie la propriété de Borel-Lebesgue. La condition de séparation est parfois omise et certains résultats demeurent vrais, comme le théorème des bornes généralisé ou le théorème de Tychonov. La compacité permet de faire passer certaines propriétés du local au global, c'est-à-dire qu'une propriété vraie au voisinage de chaque point devient valable de façon uniforme sur tout le compact. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Compacit%C3%A9_(math%C3%A9matiques)">https://fr.wikipedia.org/wiki/Compacit%C3%A9_(math%C3%A9matiques)</a>)"""@fr ;
  a skos:Concept ;
  dc:modified "2023-09-22"^^xsd:date .