Translation of "Subset" in German

Not all geniuses are engineers, but all engineers are geniuses. The set of all engineers is thus an, unfortunately proper, subset of all geniuses.

Nicht alle Genies sind Ingenieure, aber alle Ingenieure sind Genies. Die Menge aller Ingenieure ist daher eine, leider echte, Teilmenge aller Genies.