Is oibríocht chomhchomhairleach é aontas dénártha; Is é sin,
A \ cup (B \ cupán C) = (A \ cupán B) \ cupán C.}
Is féidir na hoibríochtaí a dhéanamh in aon ordú, agus féadfar na braontaí a fhágáil ar lár gan aon débhríocht (ie, is féidir coinníoll de na hailt thuas a chur in iúl go comhionann le A ∪ B ∪ C). Mar an gcéanna, tá aontas comóideach, agus is féidir na tacair a scríobh in aon ord. Is gné aitheantais é an tacar folamh maidir le hoibriú an aontas. Is é sin, A ∪ ∅ = A, le haghaidh aon sraith A. Seo a leanas ó fhíricí a bhaineann le neamhshuíomh loighciúil. Ós rud é go leagann ceardchumainn agus idirbheartaithe ailgeabar Boole, dáileann trasnú thar aontas
A \ cap (B \ cup C) = (A \ cap B) \ cup (A \ cap C)}
agus dáileann an aontas trasna trasna
A \ cup (B \ cap C) = (A \ cup B) \ cap (A \ cup C)} .
Laistigh de shraith uilíoch tugtha, is féidir aontas a scríobh i dtéarmaí oibríochtaí trasna agus comhlánú air
A \ cup B = \ left (A ^ {C} \ cap B ^ {C} \ right) ^ {C}}
áit a léiríonn an superscript C an comhlánú maidir leis an tsraith uilíoch. [Maoin chomhpháirtíoch][Maoin chomaitheach][Socrú folamh][Comhlántach: teoiric socraithe] |