About: Finite intersection property

Property	Value
dbo:description	任意の有限部分族が空でない共通部分を持つこと (ja) in topology (en)
dbo:wikiPageExternalLink	http://www.efnet-math.org/~david/mathematics/filters.pdf%7Carchive-url=https:/web.archive.org/web/20071009170540/http:/www.efnet-math.org/~david/mathematics/filters.pdf
dbo:wikiPageWikiLink	dbr:Family_of_sets dbr:Logic_Journal_of_the_IGPL dbr:Uncountable_set dbr:Neighbourhood_(mathematics) dbc:Families_of_sets dbc:Set_theory dbr:Real_number dbr:Set_(mathematics) dbr:Closed_set dbr:Closure_(topology) dbr:Mathematics dbr:Open_set dbr:Borel_set dbr:General_topology dbc:General_topology dbr:Discrete_topology dbr:Subset dbr:Topological_space dbr:Rational_number dbr:Sunflower_(mathematics) dbr:Intersection_(set_theory) dbr:Power_set dbr:Pi-system dbr:Decimal_place dbr:Fréchet_filter dbr:Empty_set dbr:Bijection dbr:Closed_interval dbr:Tychonoff's_theorem dbr:Filter_(set_theory) dbr:Compact_space dbr:Image_(mathematics) dbr:Hausdorff_space dbr:Total_order dbr:Locally_compact_space dbr:Lebesgue_measure dbr:Perfect_set dbr:One-point_compactification dbr:Strict_subset dbr:Fixed_filter_(math) dbr:Kernel_(filters) dbr:Free_filter dbr:Ultrafilter_(set_theory) dbr:Prefilter dbr:Neighbourhood_basis dbr:Neighbourhood_filter dbr:Neighbourhood_subbasis dbr:Digit_(math) dbr:Ultrafilter_lemma dbr:Uncountable dbr:Comeagre dbr:Compactness dbr:NonEmpty dbr:Indiscrete_topology dbr:Minimal_element dbr:Surjection dbr:Proper_filter_(set_theory)
dbp:mathStatement	Every closed interval with is uncountable. Therefore, is uncountable. (en) Every perfect, locally compact Hausdorff space is uncountable. (en)
dbp:name	Corollary (en)
dbp:title	Finite intersection property (en)
dbp:urlname	FiniteIntersectionProperty (en)
dbp:wikiPageUsesTemplate	dbt:Set_theory dbt:Families_of_sets dbt:Cite_web dbt:Main dbt:Reflist dbt:Cite_journal dbt:Sfn dbt:See_also dbt:Pi dbt:Bourbaki_General_Topology_Part_I_Chapters_1-4 dbt:Bourbaki_Topological_Vector_Spaces_Part_1_Chapters_1–5 dbt:Dugundji_Topology dbt:Munkres_Topology dbt:Narici_Beckenstein_Topological_Vector_Spaces dbt:Wilansky_Modern_Methods_in_Topological_Vector_Spaces dbt:Math_proof dbt:Math_theorem dbt:Annotated_link dbt:Short_description dbt:Bourbaki_General_Topology_Part_II_Chapters_5-10 dbt:Comfort_Negrepontis_The_Theory_of_Ultrafilters_1974 dbt:Császár_General_Topology dbt:Dolecki_Mynard_Convergence_Foundations_Of_Topology dbt:Joshi_Introduction_to_General_Topology dbt:Wilansky_Topology_for_Analysis_2008 dbt:Planetmathref
dct:subject	dbc:Families_of_sets dbc:Set_theory dbc:General_topology
gold:hypernym	dbr:Nonempty
rdfs:label	Finite intersection property (en) Centrovaný systém (cs) Propiedad de la intersección finita (es) Proprietà dell'intersezione finita (it) 有限交叉性 (ja) Własność skończonych przekrojów (pl) Властивість скінченного перетину (uk) 有限交集性质 (zh)
owl:sameAs	yago-res:Finite intersection property freebase:Finite intersection property wikidata:Finite intersection property dbpedia-it:Finite intersection property dbpedia-zh:Finite intersection property dbpedia-ja:Finite intersection property dbpedia-he:Finite intersection property dbpedia-es:Finite intersection property dbpedia-pl:Finite intersection property dbpedia-cs:Finite intersection property dbpedia-uk:Finite intersection property dbpedia-global:Finite intersection property
prov:wasDerivedFrom	wikipedia-en:Finite_intersection_property?oldid=1281139388&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Finite_intersection_property
is dbo:wikiPageDisambiguates of	dbr:FIP
is dbo:wikiPageRedirects of	dbr:Strong_finite_intersection_property dbr:Sfip dbr:Centered_System_of_Sets dbr:Centered_system_of_sets
is dbo:wikiPageWikiLink of	dbr:List_of_general_topology_topics dbr:Banach–Alaoglu_theorem dbr:Krein–Milman_theorem dbr:Ultrafilter dbr:Countable_set dbr:Baire_category_theorem dbr:Filter_(mathematics) dbr:List_of_mathematical_abbreviations dbr:Kőnig's_lemma dbr:Compactness_theorem dbr:Inverse_limit dbr:Markov–Kakutani_fixed-point_theorem dbr:Glossary_of_set_theory dbr:De_Bruijn–Erdős_theorem_(graph_theory) dbr:Pi-system dbr:FIP dbr:Helly's_theorem dbr:Nonstandard_analysis dbr:Tychonoff's_theorem dbr:Filter_(set_theory) dbr:Compact_space dbr:Net_(mathematics) dbr:Kernel_(set_theory) dbr:Perfect_set dbr:General_frame dbr:Index_of_combinatorics_articles dbr:List_of_set_identities_and_relations dbr:Filters_in_topology dbr:Convergence_space dbr:Strong_finite_intersection_property dbr:Ultrafilter_(set_theory) dbr:Sfip dbr:Centered_System_of_Sets dbr:Centered_system_of_sets
is foaf:primaryTopic of	wikipedia-en:Finite_intersection_property