Oración 1: por la Proposición 15, existe un abierto-compacto V en X tal que x ∈ V ⊆ U y como X es T2, tenemos que V es cerrado en X
Oración 2: v es un abierto-cerrado de ω (X) que contiene a {x} y no contiene a {y}
Conector: por lo tanto
Relación: reasoning
Género: books