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 collectionhas a non empty intersection, so that

Letbe a subset of

ifsoThis can obviously be extended inductively to any finite intersection.

Letthen