PropertyValue
rdf:type
rdfs:label
  • General set theory
owl:sameAs
prov:wasDerivedFrom
skos:prefLabel
  • General set theory
skos:altLabel
  • ST
  • Adjunction
  • S'
  • axiom of adjunction
  • general set theory