משלים (מתמטיקה) – הבדלי גרסאות

תהא <math>\!\, U</math> קבוצה, ותהא <math>\!\, G\subseteq U</math> קבוצה חלקית שלה. אז המשלים של <math>\!\, G</math> ב<math>\!\, U</math> יוגדר כך: <math>\!\, G^C\complement=U-G</math>. סימוןסימונים מקובלמקובלים נוסף למשלים הואהם <math>\!\, G',\ \complement_UG,\ \overline G</math>. עם זאת, הסימון <math>\overline G</math> מתנגש לעיתים עם שימושים אחרים של הסימון בקו עליון, ולכן מקובל להמנע ממנו.