for X being TopStruct
for F being Subset-Family of X holds
( F is closed iff F c= COMPLEMENT the topology of X )