freenode-math-chat

Short Exercise: Transfinite Closure in Analysis

We prove that if a ∈ M ⊆ [a, b] is an upwards-closed and open set (wrt. the subspace topology [a, b]), then M = [a, b].