Aontas (tacartheoiric)

Aontas dhá thacar:



</br> $~A\cup B$

Aontas trí thacar:



</br> $~A\cup B\cup C$

Is é aontas A, B, C, D, agus E gach rud seachas an limistéar bán.

Sa thacartheoiric, is éard is an t-aontas (arna sonrú faoi ∪) de bhailiúchán de thacair ná an tsraith ar fad d'eilimintí sa bhailiúchán. Tá sé ar cheann de na hoibríochtaí bunúsacha trínar féidir tacair a chomhcheangal agus a bheith bainteach lena chéile. Tagraíonn aontas nialasach d’aontas de a náid (0) tacar agus tá sé, de réir sainmhínithe, cothrom leis an tacar folamh.

Chun míniú a fháil ar na siombailí a úsáidtear san alt seo, féach tábla na siombailí matamaitice .