Overmengde
En overmengde er en mengde som inkluderer en annen mengde, og er motstykket til en delmengde. Med andre ord, dersom A er en delmengde av B, så er B en overmengde av A. Delmengder brukes mye mer enn overmengder.
Et eksempel på en overmengde er mengden av reele tall , som inkluderer mengden av naturlige tall . Hvert element fra mengden vises i mengden .