@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

psr: a skos:ConceptScheme .
psr:-H95340SJ-J
  skos:definition """En topologie, un espace localement compact est un espace séparé qui admet des voisinages compacts pour tous ses points. Un tel espace n'est pas nécessairement compact lui-même mais on peut y généraliser (au moins partiellement) beaucoup de résultats sur les espaces compacts. Ce sont aussi les espaces qu'on peut « rendre » compacts avec un point grâce à la compactification d'Alexandrov. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Espace_localement_compact">https://fr.wikipedia.org/wiki/Espace_localement_compact</a>)"""@fr, """In topology and related branches of mathematics, a topological space is called locally compact if, roughly speaking, each small portion of the space looks like a small portion of a compact space. More precisely, it is a topological space in which every point has a compact neighborhood. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Locally_compact_space">https://en.wikipedia.org/wiki/Locally_compact_space</a>)"""@en ;
  a skos:Concept ;
  skos:inScheme psr: ;
  skos:broader psr:-MGJVTWX1-0 ;
  skos:prefLabel "espace localement compact"@fr, "locally compact space"@en ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Locally_compact_space>, <https://fr.wikipedia.org/wiki/Espace_localement_compact> .

psr:-MGJVTWX1-0
  skos:prefLabel "espace topologique"@fr, "topological space"@en ;
  a skos:Concept ;
  skos:narrower psr:-H95340SJ-J .