👉 A subcover of a set X is a subset Y of X that contains all the elements from X such that there exists a non-empty open set U in X containing exactly one element from Y. subcover