ist eine Teilmenge von  und  ist eine Obermenge von , wenn jedes Element von  auch in  enthalten ist. Wenn  zudem weitere Elemente enthält, die nicht in  enthalten sind, so ist  eine echte Teilmenge von  und  ist eine echte Obermenge von .