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