Not all geniuses are engineers, but all engineers are geniuses. The set of all engineers is thus an, unfortunately proper, subset of all geniuses.
No todos los genios son ingenieros, pero todos los ingenieros son genios. El conjunto de todos los ingenieros es así, desgraciadamente, un subconjunto propio de todos los genios.