Translation of "Subset" in French

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

Tous les génies ne sont pas des ingénieurs, mais tous les ingénieurs sont des génies. L'ensemble de tous les ingénieurs est donc un sous-ensemble, malheureusement propre, de tous les génies.