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

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

Mathematics is just a subset of type theory.