ZBIORY
R≤┐nica symetryczna zbior≤w A i B: A-B=(A\B)E (B\A)
Iloczynem kartezja±skim zbior≤w A i B nazywamy zbi≤r wszystkich uporz╣dkowanych par, kt≤rych pierwszym elementem jest element zbioru A, za£ drugim element zbioru B.
(a,b)╬ A┤ BU (a╬ A; b╬ B)
Prawa de Morgana:
(AE B)Æ=AÆ╟ BÆ (A╟ B)Æ=AÆE BÆ