Each covering induces a partition, such that every cover is union of partition classes, and it’s the coarsest between all partitions. This theorem is intuitively evident while the demonstration is not immediate.

Moreover any partition is topological base of cl-open topology, that is homeomorphic to some discrete topology.