Definition: Teilmenge

Eine Menge heißt Teilmenge() von , wenn jedes Element aus auch Element von ist.