Dersom tilhører en universalmengde , så er det absolutte komplementet - eller bare komplementet - alle elementer som ligger i , men ikke i . Komplementet til kan skrives eller ABBAABCMDe Morgans loverordnet mengde MxyMxyzMxyyzxzQxyyxtallmengdeneikke'' en kropp, da man ikke generelt kan dividere to hele tall med hverandre slik at resultatet også er et helt tall.