@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix wikipedia-en:	<http://en.wikipedia.org/wiki/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
wikipedia-en:Priestley_space	foaf:primaryTopic	dbr:Priestley_space .
@prefix dbo:	<http://dbpedia.org/ontology/> .
dbr:Hilary_Priestley	dbo:wikiPageWikiLink	dbr:Priestley_space .
dbr:Distributive_lattice	dbo:wikiPageWikiLink	dbr:Priestley_space .
dbr:Stone_duality	dbo:wikiPageWikiLink	dbr:Priestley_space .
dbr:Spectral_space	dbo:wikiPageWikiLink	dbr:Priestley_space .
dbr:Duality_theory_for_distributive_lattices	dbo:wikiPageWikiLink	dbr:Priestley_space .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Priestley_space	owl:sameAs	<http://rdf.freebase.com/ns/m.0bhclp4> .
@prefix yago-res:	<http://yago-knowledge.org/resource/> .
dbr:Priestley_space	owl:sameAs	yago-res:Priestley_space ,
		dbr:Priestley_space .
@prefix wikidata:	<http://www.wikidata.org/entity/> .
dbr:Priestley_space	owl:sameAs	wikidata:Q7242916 ,
		<https://global.dbpedia.org/id/4u82g> .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbr:Priestley_space	rdfs:label	"Priestley space"@en .
@prefix dct:	<http://purl.org/dc/terms/> .
@prefix dbc:	<http://dbpedia.org/resource/Category:> .
dbr:Priestley_space	dct:subject	dbc:Topological_spaces ,
		dbc:Topology .
@prefix prov:	<http://www.w3.org/ns/prov#> .
dbr:Priestley_space	prov:wasDerivedFrom	<http://en.wikipedia.org/wiki/Priestley_space?oldid=1280901240&ns=0> .
@prefix gold:	<http://purl.org/linguistics/gold/> .
dbr:Priestley_space	gold:hypernym	dbr:Space ;
	foaf:isPrimaryTopicOf	wikipedia-en:Priestley_space ;
	dbo:wikiPageExternalLink	<http://resolver.sub.uni-goettingen.de/purl%3FPPN311571026_0027> ,
		<http://www.cs.le.ac.uk/people/nb118/Publications/PairwiseStone.pdf> ,
		<http://dml.cz/bitstream/handle/10338.dmlcz/134149/MathBohem_129-2004-3_3.pdf> ;
	dbo:wikiPageWikiLink	dbr:Distributive_lattice ,
		dbr:Stone_space ,
		dbr:Isomorphism ,
		dbr:Topological_space ,
		dbr:Clopen_set ,
		dbr:Pairwise_Stone_space ,
		<http://dbpedia.org/resource/Category_(mathematics)> ,
		dbr:Cambridge_University_Press ,
		dbr:Hausdorff_space ,
		dbr:Order-preserving ,
		dbr:Functorial ,
		<http://dbpedia.org/resource/Continuous_function_(topology)> ,
		dbc:Topology ,
		dbr:Partial_order ,
		dbr:Bitopological_space ,
		dbr:Down-set ,
		<http://dbpedia.org/resource/Complement_(set_theory)> ,
		dbr:Mathematics ,
		dbr:Hilary_Priestley ,
		dbr:Zero-dimensional ,
		dbr:Duality_theory_for_distributive_lattices ,
		dbr:Subbasis ,
		dbc:Topological_spaces ,
		dbr:Up-set ,
		dbr:Stone_duality ,
		dbr:Specialization_order ,
		dbr:Patch_topology ,
		dbr:Compact_space ,
		dbr:Spectral_space ,
		dbr:Open_neighborhood ;
	dbo:description	"ordered topological space with special properties"@en .
@prefix dbp:	<http://dbpedia.org/property/> .
@prefix dbt:	<http://dbpedia.org/resource/Template:> .
dbr:Priestley_space	dbp:wikiPageUsesTemplate	dbt:Cite_journal ,
		dbt:Cite_book ,
		<http://dbpedia.org/resource/Template:=> ,
		dbt:Reflist ,
		dbt:Math ,
		dbt:Short_description .
dbr:Esakia_space	dbo:wikiPageWikiLink	dbr:Priestley_space .
<http://dbpedia.org/resource/Birkhoff\u0027s_representation_theorem>	dbo:wikiPageWikiLink	dbr:Priestley_space .
dbr:Priestley_duality	dbo:wikiPageWikiLink	dbr:Priestley_space ;
	dbo:wikiPageRedirects	dbr:Priestley_space .
dbr:Priestley_morphism	dbo:wikiPageWikiLink	dbr:Priestley_space ;
	dbo:wikiPageRedirects	dbr:Priestley_space .