Nicht alle Genies sind Ingenieure, aber alle Ingenieure sind Genies. Die Menge aller Ingenieure ist daher eine,
leider echte, Teilmenge aller Genies.
Not all geniuses are engineers, but all engineers are geniuses. The set of all engineers is thus an, unfortunately proper, subset of all geniuses.