A family of sets has the finite intersection property when every finite subfamily has nonempty intersection. A topological space is compact exactly when every family of closed subsets with the finite intersection property has nonempty total intersection.
Ancestors (6)
Incoming links (59)
- Alternating dyadic intervals contain disjoint IP sets
- Compact-group invariant probability by finite averaging
- Compact Hausdorff topology on ultrafilters
- Continuous images of nested compact intersections
- Countable product compactness implies countable choice
- Ellis–Numakura lemma
- Filter base
- Finite intersection characterization of compactness
- Independent family of sets
- Nonemptiness theorem for inverse limits of finite sets
- Past exam of the analytic topology and axiomatic set theory course of the University of Oxford / 2008 / A / 4 / a / Solution
- Past exam of the analytic topology and axiomatic set theory course of the University of Oxford / 2009 / A / 3 / ii / Solution
- Past exam of the analytic topology and axiomatic set theory course of the University of Oxford / 2009 / A / 3 / i / Solution
- Past exam of the analytic topology and axiomatic set theory course of the University of Oxford / 2010 / A / 3 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2002 / iii / Paper 10 / 3 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2002 / iii / Paper 6 / 4 / ii / Solution
- Past exam of the mathematics course of the University of Cambridge / 2003 / iii / Paper 10 / 3 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2003 / iii / Paper 6 / 2 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2004 / iii / Paper 10 / 4 / i / Solution
- Past exam of the mathematics course of the University of Cambridge / 2004 / iii / Paper 12 / 1 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2004 / iii / Paper 4 / 1 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2004 / iii / Paper 4 / 4 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2004 / iii / Paper 6 / 2 / ii / Solution
- Past exam of the mathematics course of the University of Cambridge / 2004 / iii / Paper 6 / 2 / i / Solution
- Past exam of the mathematics course of the University of Cambridge / 2005 / iii / Paper 27 / 5 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2006 / iii / Paper 6 / 2 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2007 / iii / Paper 14 / 3 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2007 / iii / Paper 5 / 1 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2008 / iii / Paper 11 / 3 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2009 / iii / Paper 5 / 1 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2009 / iii / Paper 5 / 2 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2010 / iii / Paper 6 / 4 / ii / Solution
- Past exam of the mathematics course of the University of Cambridge / 2010 / iii / Paper 9 / 3 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2012 / iii / Paper 83 / 3 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2014 / iii / Paper 9 / 3 / i / Solution
- Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 23 / 5 / b / Solution
- Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 6 / 3 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2015 / ii / Paper 4 / 2I / Solution
- Past exam of the mathematics course of the University of Cambridge / 2017 / iii / Paper 106 / 2 / b / ii / Solution
- Past exam of the mathematics course of the University of Cambridge / 2017 / iii / Paper 130 / 4 / ii / Solution
- Past exam of the mathematics course of the University of Cambridge / 2018 / iii / Paper 130 / 3 / i / Solution
- Past exam of the mathematics course of the University of Cambridge / 2019 / ib / Paper 3 / 3G / b / Solution
- Past exam of the mathematics course of the University of Cambridge / 2021 / iii / Paper 130 / 4 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2021 / iii / Paper 151 / 1 / a / ii / Solution
- Past exam of the mathematics course of the University of Cambridge / 2021 / iii / Paper 151 / 3 / a / i / Solution
- Past exam of the mathematics course of the University of Cambridge / 2023 / iii / Paper 130 / 3 / Solution
- Past exam of the model theory course of the University of Oxford / 2011 / 3 / b / iv / Solution
- Past exam of the options II course of the University of Oxford / 2004 / E / E3 / ii / Solution
- Past exam of the options II course of the University of Oxford / 2004 / E / E3 / Solution
- Past exam of the options II course of the University of Oxford / 2008 / E / E4 / b / i / Solution
- Past exam of the options II course of the University of Oxford / 2008 printed variant / E / E4 / b / i / Solution
- Past exam of the options II course of the University of Oxford / 2008 printed variant / E / E4 / c / Solution
- Past exam of the options II course of the University of Oxford / 2013 / E4 / a / ii / Solution
- Past exam of the options II for mathematics and philosophy course of the University of Oxford / 2013 / E4 / a / ii / Solution
- Past exam of the Probability, statistics and options II course of the University of Oxford / 2008 / E / 4 / b / i / Solution
- Past exam of the topology course of the University of Oxford / 2017 / 1 / a / ii / Solution
- Past exam of the topology course of the University of Oxford / 2017 / 1 / d / Solution
- Ultrafilter characterization of compactness
- Ultrafilter selection from a partition-rich family
Discussion (0) New discussion
There are no discussions about this article yet.
Articles by others on the same topic (1)
The Finite Intersection Property (FIP) is a concept from topology and set theory. It applies to a collection of sets and states that a family of sets has the finite intersection property if the intersection of every finite subcollection of these sets is non-empty. Formally, let \( \mathcal{A} \) be a collection of sets.