<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE rdf:RDF[
	<!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
	<!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'>
	<!ENTITY owl 'http://www.w3.org/2002/07/owl#'>
	<!ENTITY swivt 'http://semantic-mediawiki.org/swivt/1.0#'>
	<!ENTITY wiki 'http://topospaces.subwiki.org/wiki/Special:URIResolver/'>
	<!ENTITY category 'http://topospaces.subwiki.org/wiki/Special:URIResolver/Category-3A'>
	<!ENTITY property 'http://topospaces.subwiki.org/wiki/Special:URIResolver/Property-3A'>
	<!ENTITY wikiurl 'https://topospaces.subwiki.org/wiki/'>
]>

<rdf:RDF
	xmlns:rdf="&rdf;"
	xmlns:rdfs="&rdfs;"
	xmlns:owl ="&owl;"
	xmlns:swivt="&swivt;"
	xmlns:wiki="&wiki;"
	xmlns:category="&category;"
	xmlns:property="&property;">

	<owl:Ontology rdf:about="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Compact_space">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-06-10T23:54:49+00:00</swivt:creationDate>
		<owl:imports rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:Ontology>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_space">
		<rdf:type rdf:resource="http://topospaces.subwiki.org/wiki/Special:URIResolver/Category-3AProperties_of_topological_spaces"/>
		<rdf:type rdf:resource="http://topospaces.subwiki.org/wiki/Special:URIResolver/Category-3ABasic_definitions_in_topology"/>
		<rdf:type rdf:resource="http://topospaces.subwiki.org/wiki/Special:URIResolver/Category-3AStandard_terminology"/>
		<rdf:type rdf:resource="http://topospaces.subwiki.org/wiki/Special:URIResolver/Category-3APivotal_properties_of_topological_spaces"/>
		<rdfs:label>Compact space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Compact_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Dissatisfies_metaproperty rdf:resource="&wiki;Subspace-2Dhereditary_property_of_topological_spaces"/>
		<property:Referenced_in rdf:resource="&wiki;Compact_space-23_1361304f7f8c4bc1141ce6f55572c0eb"/>
		<property:Referenced_in rdf:resource="&wiki;Compact_space-23_857e7c5cc8e9160e95d5c7895b88fd66"/>
		<property:Satisfies_metaproperty rdf:resource="&wiki;Product-2Dclosed_property_of_topological_spaces"/>
		<property:Satisfies_metaproperty rdf:resource="&wiki;Weakly_hereditary_property_of_topological_spaces"/>
		<property:Satisfies_metaproperty rdf:resource="&wiki;Fiber-2Dbundle-2Dclosed_property_of_topological_spaces"/>
		<property:Satisfies_metaproperty rdf:resource="&wiki;Continuous_image-2Dclosed_property_of_topological_spaces"/>
		<property:Satisfies_metaproperty rdf:resource="&wiki;Coarsening-2Dpreserved_property_of_topological_spaces"/>
		<property:Stronger_than rdf:resource="&wiki;Locally_compact_space"/>
		<property:Stronger_than rdf:resource="&wiki;Paracompact_space"/>
		<property:Stronger_than rdf:resource="&wiki;Limit_point-2Dcompact_space"/>
		<property:Stronger_than rdf:resource="&wiki;Countably_compact_space"/>
		<property:Stronger_than rdf:resource="&wiki;Sequentially_compact_space"/>
		<property:Stronger_than rdf:resource="&wiki;Lindelof_space"/>
		<property:Weaker_than rdf:resource="&wiki;Compact_Hausdorff_space"/>
		<property:Weaker_than rdf:resource="&wiki;Compact_metrizable_space"/>
		<property:Weaker_than rdf:resource="&wiki;Compact_polyhedron"/>
		<property:Weaker_than rdf:resource="&wiki;Compact_manifold"/>
		<property:Weaker_than rdf:resource="&wiki;Supercompact_space"/>
		<property:Weaker_than rdf:resource="&wiki;Noetherian_space"/>
		<property:Weaker_than rdf:resource="&wiki;Hereditarily_compact_space"/>
		<property:Weaker_than rdf:resource="&wiki;Finite_space"/>
		<property:Has_query rdf:resource="&wiki;Compact_space-23_QUERY55fcc8e8f5267b18e2f751fe94a2d999"/>
		<property:Has_query rdf:resource="&wiki;Compact_space-23_QUERYd52a1e73184da376317aedb3f40abc31"/>
		<property:Has_query rdf:resource="&wiki;Compact_space-23_QUERYdeb0454462150c1217ef5749b6ff982a"/>
		<property:Has_query rdf:resource="&wiki;Compact_space-23_QUERYba51aa5b8e44ca801a6cc2351f848d97"/>
		<property:Has_query rdf:resource="&wiki;Compact_space-23_QUERYc863fe8473e0f771dee5cb08b9b8331f"/>
		<property:Has_query rdf:resource="&wiki;Compact_space-23_QUERYb81835c952f4431ce69116f81783ec52"/>
		<property:Has_query rdf:resource="&wiki;Compact_space-23_QUERYc2e9382b32103ac12a5a07373a34469e"/>
		<property:Has_query rdf:resource="&wiki;Compact_space-23_QUERY050e34b17d73d712c3af5b5f7a2d44aa"/>
		<property:Has_query rdf:resource="&wiki;Compact_space-23_QUERY33eeaee950ee2572e73dfc3172e45ee5"/>
		<property:Has_query rdf:resource="&wiki;Compact_space-23_QUERYb64b90588d30aabd54373070aa8e4885"/>
		<property:Has_query rdf:resource="&wiki;Compact_space-23_QUERYd1e673af2c0914112445a02979e198d4"/>
		<property:Has_query rdf:resource="&wiki;Compact_space-23_QUERYc401b631f88629fa6f847662d462384f"/>
		<property:Has_query rdf:resource="&wiki;Compact_space-23_QUERY2241edb41c8748d5deaaf18f6dabad89"/>
		<property:Has_query rdf:resource="&wiki;Compact_space-23_QUERY4da305f681ef96101a992d1f2bf04157"/>
		<property:Has_query rdf:resource="&wiki;Compact_space-23_QUERY4507c74bfab73e5d52b598dc93c442c4"/>
		<property:Has_query rdf:resource="&wiki;Compact_space-23_QUERY301b271a765c513b1ff1068fac2164f7"/>
		<property:Has_query rdf:resource="&wiki;Compact_space-23_QUERYbf75569ad95d891c25d37b14eea26d55"/>
		<property:Has_query rdf:resource="&wiki;Compact_space-23_QUERYe693303bf3cfe9acc6093bab0869b9c4"/>
		<property:Has_query rdf:resource="&wiki;Compact_space-23_QUERY27af906f01e27cc9f20bb1bb42fb877a"/>
		<property:Has_query rdf:resource="&wiki;Compact_space-23_QUERY44d85701ef0e7b2ac301c31c9305a5b0"/>
		<property:Has_query rdf:resource="&wiki;Compact_space-23_QUERY47058708ab819d4ec7198b1479182ace"/>
		<property:Has_query rdf:resource="&wiki;Compact_space-23_QUERYfd3e1342c775db004d2e8093f41b88df"/>
		<property:Has_query rdf:resource="&wiki;Compact_space-23_QUERY4db9c2db017b2aed40c311948844cbeb"/>
		<property:Has_query rdf:resource="&wiki;Compact_space-23_QUERYe06044fbd1d6ad26a4d144d3ac51e8be"/>
		<property:Has_query rdf:resource="&wiki;Compact_space-23_QUERYa491636999c0f04f7baebd4b9d843522"/>
		<swivt:wikiPageModificationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-11-16T01:56:46Z</swivt:wikiPageModificationDate>
		<property:Modification_date-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2457342.581088</property:Modification_date-23aux>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_space-23_1361304f7f8c4bc1141ce6f55572c0eb">
		<swivt:masterPage rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact space#Munkres</swivt:wikiPageSortKey>
		<property:Page rdf:resource="&wiki;Book-3AMunkres"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_space-23_857e7c5cc8e9160e95d5c7895b88fd66">
		<swivt:masterPage rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact space#SingerThorpe</swivt:wikiPageSortKey>
		<property:Page rdf:resource="&wiki;Book-3ASingerThorpe"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_space-23_QUERY55fcc8e8f5267b18e2f751fe94a2d999">
		<swivt:masterPage rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">plainlist</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Variation of::Compact space]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact space# QUERY55fcc8e8f5267b18e2f751fe94a2d999</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_space-23_QUERYd52a1e73184da376317aedb3f40abc31">
		<swivt:masterPage rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">list</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Stronger than::Compact space]] [[Weaker than::Compact Hausdorff space]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact space# QUERYd52a1e73184da376317aedb3f40abc31</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_space-23_QUERYdeb0454462150c1217ef5749b6ff982a">
		<swivt:masterPage rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">broadtable</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Stronger than::Compact space]] [[Weaker than::Compact Hausdorff space]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact space# QUERYdeb0454462150c1217ef5749b6ff982a</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_space-23_QUERYba51aa5b8e44ca801a6cc2351f848d97">
		<swivt:masterPage rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">list</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Stronger than::Compact space]] [[Weaker than::Compact metrizable space]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact space# QUERYba51aa5b8e44ca801a6cc2351f848d97</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_space-23_QUERYc863fe8473e0f771dee5cb08b9b8331f">
		<swivt:masterPage rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">broadtable</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Stronger than::Compact space]] [[Weaker than::Compact metrizable space]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact space# QUERYc863fe8473e0f771dee5cb08b9b8331f</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_space-23_QUERYb81835c952f4431ce69116f81783ec52">
		<swivt:masterPage rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">list</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Stronger than::Compact space]] [[Weaker than::Supercompact space]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact space# QUERYb81835c952f4431ce69116f81783ec52</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_space-23_QUERYc2e9382b32103ac12a5a07373a34469e">
		<swivt:masterPage rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">broadtable</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Stronger than::Compact space]] [[Weaker than::Supercompact space]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact space# QUERYc2e9382b32103ac12a5a07373a34469e</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_space-23_QUERY050e34b17d73d712c3af5b5f7a2d44aa">
		<swivt:masterPage rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">list</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Stronger than::Compact space]] [[Weaker than::Noetherian space]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact space# QUERY050e34b17d73d712c3af5b5f7a2d44aa</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_space-23_QUERY33eeaee950ee2572e73dfc3172e45ee5">
		<swivt:masterPage rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">broadtable</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Stronger than::Compact space]] [[Weaker than::Noetherian space]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact space# QUERY33eeaee950ee2572e73dfc3172e45ee5</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_space-23_QUERYb64b90588d30aabd54373070aa8e4885">
		<swivt:masterPage rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">list</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Stronger than::Compact space]] [[Weaker than::Hereditarily compact space]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact space# QUERYb64b90588d30aabd54373070aa8e4885</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_space-23_QUERYd1e673af2c0914112445a02979e198d4">
		<swivt:masterPage rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">broadtable</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Stronger than::Compact space]] [[Weaker than::Hereditarily compact space]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact space# QUERYd1e673af2c0914112445a02979e198d4</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_space-23_QUERYc401b631f88629fa6f847662d462384f">
		<swivt:masterPage rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">list</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Stronger than::Compact space]] [[Weaker than::Finite space]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact space# QUERYc401b631f88629fa6f847662d462384f</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_space-23_QUERY2241edb41c8748d5deaaf18f6dabad89">
		<swivt:masterPage rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">broadtable</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Stronger than::Compact space]] [[Weaker than::Finite space]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact space# QUERY2241edb41c8748d5deaaf18f6dabad89</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_space-23_QUERY4da305f681ef96101a992d1f2bf04157">
		<swivt:masterPage rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">list</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Stronger than::Locally compact space]] [[Weaker than::Compact space]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact space# QUERY4da305f681ef96101a992d1f2bf04157</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_space-23_QUERY4507c74bfab73e5d52b598dc93c442c4">
		<swivt:masterPage rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">broadtable</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Stronger than::Locally compact space]] [[Weaker than::Compact space]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact space# QUERY4507c74bfab73e5d52b598dc93c442c4</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_space-23_QUERY301b271a765c513b1ff1068fac2164f7">
		<swivt:masterPage rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">list</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Stronger than::Paracompact space]] [[Weaker than::Compact space]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact space# QUERY301b271a765c513b1ff1068fac2164f7</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_space-23_QUERYbf75569ad95d891c25d37b14eea26d55">
		<swivt:masterPage rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">broadtable</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Stronger than::Paracompact space]] [[Weaker than::Compact space]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact space# QUERYbf75569ad95d891c25d37b14eea26d55</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_space-23_QUERYe693303bf3cfe9acc6093bab0869b9c4">
		<swivt:masterPage rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">list</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Stronger than::Limit point-compact space]] [[Weaker than::Compact space]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact space# QUERYe693303bf3cfe9acc6093bab0869b9c4</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_space-23_QUERY27af906f01e27cc9f20bb1bb42fb877a">
		<swivt:masterPage rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">broadtable</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Stronger than::Limit point-compact space]] [[Weaker than::Compact space]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact space# QUERY27af906f01e27cc9f20bb1bb42fb877a</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_space-23_QUERY44d85701ef0e7b2ac301c31c9305a5b0">
		<swivt:masterPage rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">list</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Stronger than::Countably compact space]] [[Weaker than::Compact space]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact space# QUERY44d85701ef0e7b2ac301c31c9305a5b0</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_space-23_QUERY47058708ab819d4ec7198b1479182ace">
		<swivt:masterPage rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">broadtable</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Stronger than::Countably compact space]] [[Weaker than::Compact space]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact space# QUERY47058708ab819d4ec7198b1479182ace</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_space-23_QUERYfd3e1342c775db004d2e8093f41b88df">
		<swivt:masterPage rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">list</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Stronger than::Sequentially compact space]] [[Weaker than::Compact space]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact space# QUERYfd3e1342c775db004d2e8093f41b88df</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_space-23_QUERY4db9c2db017b2aed40c311948844cbeb">
		<swivt:masterPage rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">broadtable</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Stronger than::Sequentially compact space]] [[Weaker than::Compact space]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact space# QUERY4db9c2db017b2aed40c311948844cbeb</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_space-23_QUERYe06044fbd1d6ad26a4d144d3ac51e8be">
		<swivt:masterPage rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">list</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Stronger than::Lindelof space]] [[Weaker than::Compact space]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact space# QUERYe06044fbd1d6ad26a4d144d3ac51e8be</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_space-23_QUERYa491636999c0f04f7baebd4b9d843522">
		<swivt:masterPage rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">broadtable</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Stronger than::Lindelof space]] [[Weaker than::Compact space]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact space# QUERYa491636999c0f04f7baebd4b9d843522</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Line_with_two_origins">
		<rdfs:label>Line with two origins</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Line_with_two_origins"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Line_with_two_origins"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Dissatisfies_property rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Line with two origins</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Moore_plane">
		<rdfs:label>Moore plane</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Moore_plane"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Moore_plane"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Dissatisfies_property rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Moore plane</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Pair_of_intersecting_lines">
		<rdfs:label>Pair of intersecting lines</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Pair_of_intersecting_lines"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Pair_of_intersecting_lines"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Dissatisfies_property rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Pair of intersecting lines</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/2-2Dsphere">
		<rdfs:label>2-sphere</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/2-2Dsphere"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/2-2Dsphere"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Satisfies_property rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">2-sphere</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Real_projective_plane">
		<rdfs:label>Real projective plane</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Real_projective_plane"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Real_projective_plane"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Satisfies_property rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Real projective plane</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/2-2Dtorus">
		<rdfs:label>2-torus</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/2-2Dtorus"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/2-2Dtorus"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Satisfies_property rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">2-torus</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Genus_two_surface">
		<rdfs:label>Genus two surface</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Genus_two_surface"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Genus_two_surface"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Satisfies_property rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Genus two surface</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Real_projective_three-2Ddimensional_space">
		<rdfs:label>Real projective three-dimensional space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Real_projective_three-2Ddimensional_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Real_projective_three-2Ddimensional_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Satisfies_property rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Real projective three-dimensional space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Product_of_2-2Dsphere_and_circle">
		<rdfs:label>Product of 2-sphere and circle</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Product_of_2-2Dsphere_and_circle"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Product_of_2-2Dsphere_and_circle"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Satisfies_property rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Product of 2-sphere and circle</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Product_of_two_2-2Dspheres">
		<rdfs:label>Product of two 2-spheres</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Product_of_two_2-2Dspheres"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Product_of_two_2-2Dspheres"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Satisfies_property rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Product of two 2-spheres</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Product_of_real_projective_plane_and_circle">
		<rdfs:label>Product of real projective plane and circle</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Product_of_real_projective_plane_and_circle"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Product_of_real_projective_plane_and_circle"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Satisfies_property rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Product of real projective plane and circle</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Product_of_2-2Dsphere_and_real_projective_plane">
		<rdfs:label>Product of 2-sphere and real projective plane</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Product_of_2-2Dsphere_and_real_projective_plane"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Product_of_2-2Dsphere_and_real_projective_plane"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Satisfies_property rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Product of 2-sphere and real projective plane</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Product_of_3-2Dsphere_and_circle">
		<rdfs:label>Product of 3-sphere and circle</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Product_of_3-2Dsphere_and_circle"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Product_of_3-2Dsphere_and_circle"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Satisfies_property rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Product of 3-sphere and circle</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Product_of_2-2Dsphere_and_2-2Dtorus">
		<rdfs:label>Product of 2-sphere and 2-torus</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Product_of_2-2Dsphere_and_2-2Dtorus"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Product_of_2-2Dsphere_and_2-2Dtorus"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Satisfies_property rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Product of 2-sphere and 2-torus</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Countable_space_with_cofinite_topology">
		<rdfs:label>Countable space with cofinite topology</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Countable_space_with_cofinite_topology"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Countable_space_with_cofinite_topology"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Satisfies_property rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Countable space with cofinite topology</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Sierpiński_space">
		<rdfs:label>Sierpiński space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Sierpiński_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Sierpiński_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Satisfies_property rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Sierpiński space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_Hausdorff_space">
		<rdfs:label>Compact Hausdorff space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Compact_Hausdorff_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Compact_Hausdorff_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Defining_ingredient rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact Hausdorff space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/One-2Dpoint_space">
		<rdfs:label>One-point space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/One-2Dpoint_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/One-2Dpoint_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Stronger_than rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">One-point space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_Hausdorff_space">
		<rdfs:label>Compact Hausdorff space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Compact_Hausdorff_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Compact_Hausdorff_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Stronger_than rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact Hausdorff space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_T1_space">
		<rdfs:label>Compact T1 space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Compact_T1_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Compact_T1_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Stronger_than rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact T1 space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_metrizable_space">
		<rdfs:label>Compact metrizable space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Compact_metrizable_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Compact_metrizable_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Stronger_than rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact metrizable space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Noetherian_space">
		<rdfs:label>Noetherian space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Noetherian_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Noetherian_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Stronger_than rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Noetherian space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Feebly_compact_space">
		<rdfs:label>Feebly compact space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Feebly_compact_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Feebly_compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Variation_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Feebly compact space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Pseudocompact_space">
		<rdfs:label>Pseudocompact space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Pseudocompact_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Pseudocompact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Variation_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Pseudocompact space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/H-2Dclosed_space">
		<rdfs:label>H-closed space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/H-2Dclosed_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/H-2Dclosed_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Variation_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">H-closed space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Hemicompact_space">
		<rdfs:label>Hemicompact space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Hemicompact_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Hemicompact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Variation_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Hemicompact space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Hurewicz_space">
		<rdfs:label>Hurewicz space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Hurewicz_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Hurewicz_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Variation_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Hurewicz space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Metacompact_space">
		<rdfs:label>Metacompact space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Metacompact_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Metacompact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Variation_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Metacompact space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Orthocompact_space">
		<rdfs:label>Orthocompact space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Orthocompact_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Orthocompact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Variation_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Orthocompact space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Nearly_metacompact_space">
		<rdfs:label>Nearly metacompact space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Nearly_metacompact_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Nearly_metacompact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Variation_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Nearly metacompact space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/N-2Dpseudocompact_space">
		<rdfs:label>N-pseudocompact space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/N-2Dpseudocompact_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/N-2Dpseudocompact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Variation_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">N-pseudocompact space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Strongly_paracompact_space">
		<rdfs:label>Strongly paracompact space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Strongly_paracompact_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Strongly_paracompact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Variation_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Strongly paracompact space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Product-2Dtransitively_paracompact_space">
		<rdfs:label>Product-transitively paracompact space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Product-2Dtransitively_paracompact_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Product-2Dtransitively_paracompact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Variation_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Product-transitively paracompact space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Realcompact_space">
		<rdfs:label>Realcompact space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Realcompact_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Realcompact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Variation_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Realcompact space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Sigma-2Dcompact_space">
		<rdfs:label>Sigma-compact space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Sigma-2Dcompact_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Sigma-2Dcompact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Variation_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Sigma-compact space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Snake-2Dlike_space">
		<rdfs:label>Snake-like space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Snake-2Dlike_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Snake-2Dlike_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Variation_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Snake-like space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Strongly_locally_compact_space">
		<rdfs:label>Strongly locally compact space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Strongly_locally_compact_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Strongly_locally_compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Variation_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Strongly locally compact space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Subparacompact_space">
		<rdfs:label>Subparacompact space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Subparacompact_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Subparacompact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Variation_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Subparacompact space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Ultraparacompact_space">
		<rdfs:label>Ultraparacompact space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Ultraparacompact_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Ultraparacompact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Variation_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Ultraparacompact space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Supercompact_space">
		<rdfs:label>Supercompact space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Supercompact_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Supercompact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Variation_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Supercompact space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Locally_compact_space">
		<rdfs:label>Locally compact space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Locally_compact_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Locally_compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Variation_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Locally compact space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Paracompact_space">
		<rdfs:label>Paracompact space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Paracompact_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Paracompact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Variation_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Paracompact space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Limit_point-2Dcompact_space">
		<rdfs:label>Limit point-compact space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Limit_point-2Dcompact_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Limit_point-2Dcompact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Variation_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Limit point-compact space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Countably_compact_space">
		<rdfs:label>Countably compact space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Countably_compact_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Countably_compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Variation_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Countably compact space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Sequentially_compact_space">
		<rdfs:label>Sequentially compact space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Sequentially_compact_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Sequentially_compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Variation_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Sequentially compact space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Lindelof_space">
		<rdfs:label>Lindelof space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Lindelof_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Lindelof_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Variation_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Lindelof space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compactly_generated_space">
		<rdfs:label>Compactly generated space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Compactly_generated_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Compactly_generated_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Variation_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compactly generated space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Feebly_compact_space">
		<rdfs:label>Feebly compact space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Feebly_compact_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Feebly_compact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Weaker_than rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Feebly compact space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Pseudocompact_space">
		<rdfs:label>Pseudocompact space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Pseudocompact_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Pseudocompact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Weaker_than rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Pseudocompact space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Metacompact_space">
		<rdfs:label>Metacompact space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Metacompact_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Metacompact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Weaker_than rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Metacompact space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Rim-2Dcompact_space">
		<rdfs:label>Rim-compact space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Rim-2Dcompact_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Rim-2Dcompact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Weaker_than rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Rim-compact space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Paracompact_space">
		<rdfs:label>Paracompact space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Paracompact_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Paracompact_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Weaker_than rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Paracompact space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compactly_generated_space">
		<rdfs:label>Compactly generated space</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Compactly_generated_space"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Compactly_generated_space"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Weaker_than rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compactly generated space</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Hausdorff_implies_KC-23_c086023d7abc7490360c9641b5d779e6">
		<swivt:masterPage rdf:resource="&wiki;Hausdorff_implies_KC"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Hausdorff implies KC#Compact space;2# c086023d7abc7490360c9641b5d779e6</swivt:wikiPageSortKey>
		<property:Page rdf:resource="&wiki;Compact_space"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Tube_lemma-23_152b8968f88dfc9d64d515f01a21d4de">
		<swivt:masterPage rdf:resource="&wiki;Tube_lemma"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Tube lemma#Compact space;1# 152b8968f88dfc9d64d515f01a21d4de</swivt:wikiPageSortKey>
		<property:Page rdf:resource="&wiki;Compact_space"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_times_metacompact_implies_metacompact-23_d5d0ae527b481960e5a0e9edc4bcfcfc">
		<swivt:masterPage rdf:resource="&wiki;Compact_times_metacompact_implies_metacompact"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact times metacompact implies metacompact#Compact space# d5d0ae527b481960e5a0e9edc4bcfcfc</swivt:wikiPageSortKey>
		<property:Page rdf:resource="&wiki;Compact_space"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compactness_is_continuous_image-2Dclosed-23_152b8968f88dfc9d64d515f01a21d4de">
		<swivt:masterPage rdf:resource="&wiki;Compactness_is_continuous_image-2Dclosed"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compactness is continuous image-closed#Compact space;1# 152b8968f88dfc9d64d515f01a21d4de</swivt:wikiPageSortKey>
		<property:Page rdf:resource="&wiki;Compact_space"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compactness_is_coarsening-2Dpreserved-23_152b8968f88dfc9d64d515f01a21d4de">
		<swivt:masterPage rdf:resource="&wiki;Compactness_is_coarsening-2Dpreserved"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compactness is coarsening-preserved#Compact space;1# 152b8968f88dfc9d64d515f01a21d4de</swivt:wikiPageSortKey>
		<property:Page rdf:resource="&wiki;Compact_space"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_implies_feebly_compact-23_c086023d7abc7490360c9641b5d779e6">
		<swivt:masterPage rdf:resource="&wiki;Compact_implies_feebly_compact"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact implies feebly compact#Compact space;2# c086023d7abc7490360c9641b5d779e6</swivt:wikiPageSortKey>
		<property:Page rdf:resource="&wiki;Compact_space"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compactness_is_not_hereditary-23_152b8968f88dfc9d64d515f01a21d4de">
		<swivt:masterPage rdf:resource="&wiki;Compactness_is_not_hereditary"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compactness is not hereditary#Compact space;1# 152b8968f88dfc9d64d515f01a21d4de</swivt:wikiPageSortKey>
		<property:Page rdf:resource="&wiki;Compact_space"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Rationally_acyclic_compact_polyhedron_has_fixed-2Dpoint_property-23_d5d0ae527b481960e5a0e9edc4bcfcfc">
		<swivt:masterPage rdf:resource="&wiki;Rationally_acyclic_compact_polyhedron_has_fixed-2Dpoint_property"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Rationally acyclic compact polyhedron has fixed-point property#Compact space# d5d0ae527b481960e5a0e9edc4bcfcfc</swivt:wikiPageSortKey>
		<property:Page rdf:resource="&wiki;Compact_space"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Connected_sum_of_compact_manifolds_is_compact-23_d5d0ae527b481960e5a0e9edc4bcfcfc">
		<swivt:masterPage rdf:resource="&wiki;Connected_sum_of_compact_manifolds_is_compact"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Connected sum of compact manifolds is compact#Compact space# d5d0ae527b481960e5a0e9edc4bcfcfc</swivt:wikiPageSortKey>
		<property:Page rdf:resource="&wiki;Compact_space"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Noetherian_implies_compact-23_c086023d7abc7490360c9641b5d779e6">
		<swivt:masterPage rdf:resource="&wiki;Noetherian_implies_compact"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Noetherian implies compact#Compact space;2# c086023d7abc7490360c9641b5d779e6</swivt:wikiPageSortKey>
		<property:Page rdf:resource="&wiki;Compact_space"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_implies_rim-2Dcompact-23_c086023d7abc7490360c9641b5d779e6">
		<swivt:masterPage rdf:resource="&wiki;Compact_implies_rim-2Dcompact"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact implies rim-compact#Compact space;2# c086023d7abc7490360c9641b5d779e6</swivt:wikiPageSortKey>
		<property:Page rdf:resource="&wiki;Compact_space"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compactness_is_not_box_product-2Dclosed-23_152b8968f88dfc9d64d515f01a21d4de">
		<swivt:masterPage rdf:resource="&wiki;Compactness_is_not_box_product-2Dclosed"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compactness is not box product-closed#Compact space;1# 152b8968f88dfc9d64d515f01a21d4de</swivt:wikiPageSortKey>
		<property:Page rdf:resource="&wiki;Compact_space"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_times_paracompact_implies_paracompact-23_d5d0ae527b481960e5a0e9edc4bcfcfc">
		<swivt:masterPage rdf:resource="&wiki;Compact_times_paracompact_implies_paracompact"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact times paracompact implies paracompact#Compact space# d5d0ae527b481960e5a0e9edc4bcfcfc</swivt:wikiPageSortKey>
		<property:Page rdf:resource="&wiki;Compact_space"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compactness_is_weakly_hereditary-23_152b8968f88dfc9d64d515f01a21d4de">
		<swivt:masterPage rdf:resource="&wiki;Compactness_is_weakly_hereditary"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compactness is weakly hereditary#Compact space;1# 152b8968f88dfc9d64d515f01a21d4de</swivt:wikiPageSortKey>
		<property:Page rdf:resource="&wiki;Compact_space"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Noetherian_implies_compact">
		<rdfs:label>Noetherian implies compact</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Noetherian_implies_compact"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Noetherian_implies_compact"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Proves_property_satisfaction_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Noetherian implies compact</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_implies_feebly_compact">
		<rdfs:label>Compact implies feebly compact</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Compact_implies_feebly_compact"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Compact_implies_feebly_compact"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Uses_property_satisfaction_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact implies feebly compact</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compact_implies_rim-2Dcompact">
		<rdfs:label>Compact implies rim-compact</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Compact_implies_rim-2Dcompact"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Compact_implies_rim-2Dcompact"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Uses_property_satisfaction_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compact implies rim-compact</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Hausdorff_implies_KC">
		<rdfs:label>Hausdorff implies KC</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Hausdorff_implies_KC"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Hausdorff_implies_KC"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Uses_property_satisfaction_of rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Hausdorff implies KC</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Proving_compactness">
		<rdfs:label>Proving compactness</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Proving_compactness"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Proving_compactness"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Survey_article_about rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Proving compactness</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Varying_compactness">
		<rdfs:label>Varying compactness</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Varying_compactness"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Varying_compactness"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Survey_article_about rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Varying compactness</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Compactness">
		<rdfs:label>Compactness</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Compactness"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Compactness"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:redirectsTo rdf:resource="&wiki;Compact_space"/>
		<owl:sameAs rdf:resource="&wiki;Compact_space"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Compactness</swivt:wikiPageSortKey>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Property-3ADissatisfies_property">
		<rdfs:label>Dissatisfies property</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Property-3ADissatisfies_property"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Property-3ADissatisfies_property"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">132</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Dissatisfies property</swivt:wikiPageSortKey>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Property-3ASatisfies_property">
		<rdfs:label>Satisfies property</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Property-3ASatisfies_property"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Property-3ASatisfies_property"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">132</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Satisfies property</swivt:wikiPageSortKey>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Property-3ADefining_ingredient">
		<rdfs:label>Defining ingredient</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Property-3ADefining_ingredient"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Property-3ADefining_ingredient"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">132</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Defining ingredient</swivt:wikiPageSortKey>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Property-3AStronger_than">
		<rdfs:label>Stronger than</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Property-3AStronger_than"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Property-3AStronger_than"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">132</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Stronger than</swivt:wikiPageSortKey>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Property-3AVariation_of">
		<rdfs:label>Variation of</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Property-3AVariation_of"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Property-3AVariation_of"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">132</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Variation of</swivt:wikiPageSortKey>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Property-3AWeaker_than">
		<rdfs:label>Weaker than</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Property-3AWeaker_than"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Property-3AWeaker_than"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">132</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Weaker than</swivt:wikiPageSortKey>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Property-3APage">
		<rdfs:label>Page</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Property-3APage"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Property-3APage"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">132</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Page</swivt:wikiPageSortKey>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Property-3AProves_property_satisfaction_of">
		<rdfs:label>Proves property satisfaction of</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Property-3AProves_property_satisfaction_of"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Property-3AProves_property_satisfaction_of"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">132</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Proves property satisfaction of</swivt:wikiPageSortKey>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Property-3AUses_property_satisfaction_of">
		<rdfs:label>Uses property satisfaction of</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Property-3AUses_property_satisfaction_of"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Property-3AUses_property_satisfaction_of"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">132</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Uses property satisfaction of</swivt:wikiPageSortKey>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Property-3ASurvey_article_about">
		<rdfs:label>Survey article about</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Property-3ASurvey_article_about"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Property-3ASurvey_article_about"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">132</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Survey article about</swivt:wikiPageSortKey>
	</owl:ObjectProperty>
	<owl:DatatypeProperty rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Property-3A_REDI">
		<rdfs:label> REDI</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://topospaces.subwiki.org/wiki/Special:ExportRDF/Property-3A_REDI"/>
		<swivt:page rdf:resource="https://topospaces.subwiki.org/wiki/Property-3A_REDI"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">132</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">REDI</swivt:wikiPageSortKey>
	</owl:DatatypeProperty>
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#creationDate" />
	<owl:Class rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Category-3AProperties_of_topological_spaces" />
	<owl:Class rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Category-3ABasic_definitions_in_topology" />
	<owl:Class rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Category-3AStandard_terminology" />
	<owl:Class rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Category-3APivotal_properties_of_topological_spaces" />
	<owl:ObjectProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#page" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiNamespace" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageContentLanguage" />
	<owl:ObjectProperty rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Property-3ADissatisfies_metaproperty" />
	<owl:ObjectProperty rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Property-3AReferenced_in" />
	<owl:ObjectProperty rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Property-3ASatisfies_metaproperty" />
	<owl:ObjectProperty rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Property-3AHas_query" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageModificationDate" />
	<owl:DatatypeProperty rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Property-3AModification_date-23aux" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageSortKey" />
	<owl:ObjectProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#masterPage" />
	<owl:DatatypeProperty rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Property-3AQuery_depth" />
	<owl:DatatypeProperty rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Property-3AQuery_format" />
	<owl:DatatypeProperty rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Property-3AQuery_size" />
	<owl:DatatypeProperty rdf:about="http://topospaces.subwiki.org/wiki/Special:URIResolver/Property-3AQuery_string" />
	<owl:ObjectProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#redirectsTo" />
	<!-- Created by Semantic MediaWiki, https://www.semantic-mediawiki.org/ -->
</rdf:RDF>