theorem
:: WAYBEL29:19
for
X
being non
empty
TopSpace
for
V
being
open
Subset
of
X
holds
(
(
alpha
X
)
"
)
.
V
=
chi
(
V
, the
carrier
of
X
)