x\n
iel
V Ai ■
id 1
Ai = u (X \ Ai) (X\ n Ai) € Td n Ai - domknięte
id id id
domknięte <=> V (X \ Aj) c Td => U (X \ Aj) e Td