Fyllimengi er, í mengjafræði, mengi allra þeirra staka í grunnmenginu sem ekki eru í tilteknu mengi. M.ö.o. mismengi grunnmengis og gefins mengi er fyllimengið.

Sé A mengi, þá er $A^\backslash mathrm\{C\}\; =\; \backslash \{x\; \backslash in\; U\; :\; x\; \backslash notin\; A\backslash \}$, þar sem að U er grunnmengi.

Stundum er fyllimengi táknað með yfirstrikun, $\backslash bar\; A$, en sá ritháttur stangast á við ritháttinn fyrir lokun mengis. Af þeim sökum hefur táknunin A^C orðið vinsælli. C-ið táknar enska orðið compliment. Einnig hefur verið notuð táknunin A' fyrir fyllimengi A.

Mengjafræði

Rozdíl množin | Komplement (Mengenlehre) | Complement (set theory) | משלים (מתמטיקה) | Insieme complemento | 差集合 | 여집합 | Dopełnienie zbioru | Complementar | Rozdiel množín | Komplement | Доповнення множин | 补集