{complement of a set} [ریاضی] مجموعۀ عضوهایی که به مجموعۀ مفروض U تعلق ندارند، ولی متعلق به مجموعۀ مرجعی هستند که حاوی U است