Es seien T {\displaystyle {}T} und M {\displaystyle {}M} Mengen. Man sagt, dass T {\displaystyle {}T} eine Teilmenge von M {\displaystyle {}M} ist, wenn jedes Element von T {\displaystyle {}T} auch ein Element von M {\displaystyle {}M} ist.