متمم مجموعه مجموعه‌ای از عناصری است که در یک مجموعه مرجع قرار دارند اما عضو مجموعه موردنظر نیستند. اگر \(A\) زیرمجموعه‌ای از مجموعه مرجع \(U\) باشد، متمم \(A\) شامل تمام عناصری از \(U\) است که در \(A\) وجود ندارند:

$$ A^c = \{x \in U \mid x \notin A\} $$

در این مقاله با مفهوم مجموعه مرجع، تعریف دقیق متمم، نمادگذاری‌های رایج، رابطه متمم با اجتماع و اشتراک، قوانین دمورگان، متمم مجموعه تهی و مجموعه مرجع، و روش حل مسائل مربوط به متمم مجموعه آشنا می‌شوید.

گاه واژه هایی بین مردم رایج می شود که معادل علمی دقیق ندارد، ولی رایج شده است و مرتب به کار برده می شود. دیابت عصبی یکی از این موارد است؛ واقعیت این است که از نظر علم پزشکی واژه ای به این نام وجود ندارد، ولی به دلیل کاربرد زیاد بین مردم سعی خواهیم کرد در این مطلب معادل علمی دیابت عصبی را شرح دهیم.