for T being non empty 1-sorted
for V, W being Subset of T
for S being TopAugmentation of BoolePoset {0}
for f, g being Function of T,S st f = chi (V, the carrier of T) & g = chi (W, the carrier of T) holds
( V c= W iff f <= g )