DZIAŁANIA NA ZBIORACH

1. Λ (x ∈ Z ∪ Y ≡ x ∈ Z v x ∈ Y)

^x

Tworzenie sumy dwóch zbiorów.

Dany obiekt jest elementem sumy dwóch zbiorów wtedy, gdy jest elementem chociaż jednego z tych zbiorów.

1. Λ ( x ∈ Z ∩ Y ≡ x ∈ Z ^ x ∈ Y)

^x

Iloczyn dwóch zbiorów.

Dany obiekt jest elementem iloczynu dwóch zbiorów wtedy, gdy jest elementem każdego z tych zbiorów.

1. Λ(x∈Z-Y ≡ x ∈ Z ^ x ∉Y)

^x

Różnica dwóch zbiorów „-‘’.

Obiekt jest elementem różnicy między jednym zbiorem a drugim zbiorem wtedy, gdy jest elementem pierwszego zbioru, a nie jest elementem drugiego zbioru.

1. Λ (x ∈ Z’ ≡ x ∈U ^ x ∉ Z)

^x

Dopełnienie zbioru.

Dany obiekt jest elementem dopełnienia zbioru Z wtedy, gdy jest on elementem zbioru pełnego U, a nie jest elementem zbioru Z.