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