Set Operațiuni
Să - seturi arbitrare.
Definiție 1. Prin universul 1) să înțeleagă set, inclusiv o multitudine de toate în acest context.
Determinarea 2.Peresecheniem 2) stabilește și este mulțimea tuturor elementelor care se află atât în set și într-un set, care este.
Determinarea 3.Obedineniem 3) stabilește și este mulțimea tuturor elementelor care aparțin setului sau în setul, adică.
Determinarea 4.Raznostyu 4) seturi și este mulțimea tuturor elementelor care aparțin setului, dar nu se află în, care este.
Determinarea diferenței 5.Simmetricheskoy 5) seturi și este mulțimea tuturor elementelor care aparțin exact unul dintre seturile, și este.
Determinarea 6.Dopolneniem 6) al setului este mulțimea tuturor elementelor universului, care nu face parte din setul, adică.
Caracteristicile de funcționare
Propoziția 1. Următoarele proprietăți
;
;
;
;
;
;
.
algebra de seturi
Determinarea 7.Algebroy seturi 7) este o pereche, în cazul în care - unele colecție de seturi, și - un set de operații pe seturi. Se crede în general că - mulțimea tuturor subseturi ale universului, și așa cum sa discutat mai sus operațiune de încărcare.