متمم مجموعه مجموعه‌ای از عناصری است که در یک مجموعه مرجع قرار دارند اما عضو مجموعه موردنظر نیستند. اگر \(A\) زیرمجموعه‌ای از مجموعه مرجع \(U\) باشد، متمم \(A\) شامل تمام عناصری از \(U\) است که در \(A\) وجود ندارند:
$$ A^c = \{x \in U \mid x \notin A\} $$
در این مقاله با مفهوم مجموعه مرجع، تعریف دقیق متمم، نمادگذاری‌های رایج، رابطه متمم با اجتماع و اشتراک، قوانین دمورگان، متمم مجموعه تهی و مجموعه مرجع، و روش حل مسائل مربوط به متمم مجموعه آشنا می‌شوید.
مجموعه یکی از بنیادی‌ترین مفاهیم در ریاضیات است و برای تعریف و سازمان‌دهی بسیاری از اشیای ریاضی به کار می‌رود. در این مقاله با مفهوم مجموعه، روش‌های نمایش آن، رابطه عضویت و زیرمجموعه، مجموعه تهی، مجموعه‌های متناهی و نامتناهی و مهم‌ترین عملیات روی مجموعه‌ها آشنا می‌شوید. همچنین مفاهیمی مانند اجتماع، اشتراک، تفاضل، متمم، ضرب دکارتی و مجموعه توانی را در یک چارچوب منسجم بررسی می‌کنیم تا ارتباط میان این مفاهیم و کاربرد آنها در ریاضیات، علوم کامپیوتر و سایر حوزه‌های علمی روشن شود.