Täiend (hulgateooria)

Hulgateoorias nimetatakse hulga A täiendiks universaalhulga U suhtes hulkade U ja A vahet U \ A. 

Hulga A täiendi tähis on  või .

 Definitsioon  

,

kus  tähistab konjunktsiooni.

 Omadused 

Hulkade täiendi leidmisel on järgmised omadused:  
 Involutiivsus

 Täiendi seadused
,
,
,
,
De Morgani seadused
,
,
kus ∩ tähistab ühisosa ja ∪ ühendit. M Kilp, Algebra I (1998) 

 Viited 

Kategooria:Hulgateooria