Theorem
The family of open intervals
has the finite intersection property.
Proof
A family
of sets is said to have the finite intersection property if every finite collection
has a non empty intersection, so that
Let
be a subset of
if
so
This can obviously be extended inductively to any finite intersection.
Let
then