ДОПОЛНЕ́НИЕ

ДОПОЛНЕ́НИЕ в тео­рии мно­жеств, опе­ра­ция, ко­то­рая ста­вит в со­от­вет­ст­вие под­мно­же­ст­ву A дан­но­го мно­же­ст­ва Ω под­мно­же­ст­во B=Ω\A, со­стоя­щее из тех и толь­ко тех эле­мен­тов Ω, ко­то­рые не при­над­ле­жат A. Мно­же­ст­во B так­же на­зы­ва­ет­ся Д. мно­же­ст­ва A и обо­зна­ча­ет­ся обыч­но Ᾱ , CA, C_ΩA. Ес­ли B=Ᾱ, то B̅=A. Д. мно­же­ст­ва Ω есть пус­тое мно­же­ст­во.