مکمل مجموعه

مجموعۀ عضوهایی که به مجموعۀ مفروض U تعلق ندارند، ولی متعلق به مجموعۀ مرجعی هستند که حاوی U است