Operacije sa skupovima
PRESJEK
Presjek skupova A i B je skup A∩B svih elemenata koji se nalaze u skupu A i u skupu B, tj. formulom:
UNIJA
Unija skupova A i B je skup AUB svih elemenata koji su u skupu A ili u skupu B, tj. formulom:
RAZLIKA
Razlika skupova A i B je skup A\B svih elemenata skupa A koji nisu u skupu B.
PODSKUP SKUPA
Def. Za skup A kažemo da je podskup skupa B ako su svi elementi skupa A ujedno i elementi skupa B, tj. formulom:
def.
A⊆B<=>x∈A=>x∈B
Def.Za skup A kažemo da jejednak skupu B ako je A podskup skupa B i B podskup skupa A.
def.
A=B<=>(A⊆B /\ B⊆A)
KOMPLEMENT
Def. Neka je A⊆B.
Razlika skupova B\A zovemo komplementom skupa A u odnosu na skup B, to pišemo ovako:
c
B\A=A
c def.
A = {x|x∈B/\x∉A/\A⊆B}