Hulga A täiendi A definitsioon: __ A = { x | x∉A } Mistahes vaadeldav hulk on osa universiaalhulgast: A ⊂ I : A A I A Hulga A täiend A