Ligjet themelore të veprimeve me bashkësi

Nga Wikibooks

Shko te: navigacion, kërko
Jeni duke lexuar pjesë nga libri në punim e sipër:
Algjebra e përgjithëshme

Shkalla UNI
Gjykimet
Bashkësitë

Relacionet
Pasqyrimet
Veprimet binare
Grupi
Unaza, Trupi dhe Fusha

Ligjet themelore të veprimeve \scriptstyle { \cap } , \scriptstyle { \cup } janë :
(a1)   A\scriptstyle { \cap }A\scriptstyle{=}A,   A\scriptstyle { \cup }A\scriptstyle{=}A,   (ligji i idempotencës)
(a2)   A\scriptstyle { \cap }B\scriptstyle{=}B\scriptstyle { \cap }A,   A\scriptstyle { \cup }B\scriptstyle{=}B\scriptstyle { \cup }A   (ligji i komutacionit)
(a3)   (A\scriptstyle { \cap }B)\scriptstyle { \cap }C\scriptstyle{=}A\scriptstyle { \cap }(B\scriptstyle { \cap }C)
  (A\scriptstyle { \cup }B)\scriptstyle { \cup }C\scriptstyle{=}A\scriptstyle { \cup }(B\scriptstyle { \cup }C)
   (ligji asociativ)
(a4) A\scriptstyle { \cap }(B\scriptstyle { \cap }C)\scriptstyle{=}(A\scriptstyle { \cap }B}\scriptstyle { \cap }(A\scriptstyle { \cap }C)
A\scriptstyle { \cup }(B\scriptstyle { \cup }C)\scriptstyle{=}(A\scriptstyle { \cup }B}\scriptstyle { \cup }(A\scriptstyle { \cup }C)
  (ligji distributiv)
(a5) A\scriptstyle { \cap }(B\scriptstyle { \cup }C)\scriptstyle{=}(A\scriptstyle { \cap }B}\scriptstyle { \cup }(A\scriptstyle { \cap }C),
A\scriptstyle { \cup }(B\scriptstyle { \cap }C)\scriptstyle{=}(A\scriptstyle { \cup }B}\scriptstyle { \cap }(A\scriptstyle { \cup }C),
  (ligji distributiv)