Vi tar for oss en av de mest fundamentale mengdene; universalmengden. Dette er den mengden som inneholder ALLE elementer vi kan tenke oss. Dette vil si at alle mengder vi jobber med, er en delmengde i universalmengden.