Info Theorem states that the following two statements are equivalent: is closed1 and bounded2. is Compact Set. Footnotes i.e. ↩ This is not bounded: ↩