PropertyValue
rdf:type
rdfs:label
  • Separation axiom
owl:sameAs
prov:wasDerivedFrom
skos:prefLabel
  • Separation axiom
skos:altLabel
  • separation
  • separating
  • separates points
  • separation property
  • T axioms
  • T<sub>2</sub> or T<sub>3</sub>
  • separation axiom
  • separation properties