Solution
= Solution
A <topological space> is \b[<compact>] if every <open cover> of it has a finite subcover. That is, if $X=\bigcup_{i\in I}U_i$ with all $U_i$ open, finitely many of those same <open sets> already cover $X$.
= Solution
A <topological space> is \b[<compact>] if every <open cover> of it has a finite subcover. That is, if $X=\bigcup_{i\in I}U_i$ with all $U_i$ open, finitely many of those same <open sets> already cover $X$.