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

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