Zbiory indeksowane Olis: Jak wykazac ze X\ ∩F_t = ∪ (X\F_t) , gdzie ∩ i ∪ sa po t ∊T

jc: x ∊ X\ ∩ T_t ⇔ x ∊ X i x ~ ∩ T_t ⇔ x ∊ X i x ~ ∀t x∊ T_t ⇔ x ∊ X i x ∃ t ~x∊ T_t ⇔ Et (x∊X i ~ x ∊ T_t) ⇔ Et x ∊ A\T_t ⇔ x ∊∪(X\T_t) Oj, użyłem litry T zamiast F, sam zamień.

Olis: Dziekuje pieknie