Mathematics is just a subset of type theory.

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

In American English, stoats are a subset of weasels, while in British English, they aren't.