" A ilma B-ta " hulga A täiend A A B B A ehk hulkade lahutamine pole kommutatiivne (oleneb operandide järjekorrast) ( täiend on alati universaalhulgani ) ainus mittekommutatiivne (binaarne) hulgatehe. I I T T Ü A B A A B ühe hulga Venni diagramm
näide : __ Kui I = { e t k n r l p } ja A = { l p } siis A = { e t k n r } Venni diagrammil esitatakse universiaalhulka ristkülikuna: " hulga täiend " ≡ " hulga täiend universaalhulgani " I __ Hulga A täiendi A definitsioon: __