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.

Viited 

Hulgateooria