Not all geniuses are engineers, but all engineers are geniuses. The set of all engineers is thus an, unfortunately proper, subset of all geniuses.
Ne ĉiu geniulo estas inĝeniero, sed ĉiuj inĝenieroj estas geniuloj. La aro de ĉiuj inĝenieroj do estas sub-aro, bedaŭrinde strikta, de ĉiuj geniuloj.