Aontas (tacartheoiric)

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.

Aontas dhá thacar:



</br> $~A\cup B$

Aontas trí thacar:



</br> Theip ó anailís na foirmle (MathML más féidir (turgnamhach): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/ga.wikipedia.org/v1/":): {\displaystyle ~A \cup B \cup C}

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

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