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