Nonemptiness theorem for inverse limits of finite sets
= Nonemptiness theorem for inverse limits of finite sets
An inverse system of nonempty finite sets over a directed index set has nonempty inverse limit. Give each set the discrete topology: the compatibility conditions are closed subsets of the compact product, and directedness gives them the <finite intersection property>.
= Nonemptiness theorem for inverse limits of finite set
{synonym}