theorem
Th8
:
:: JORDAN8:8
for
C
being non
empty
compact
Subset
of
(
TOP-REAL
2
)
holds
(
C
is
vertical
iff
E-bound
C
<=
W-bound
C
)