>>294
自然数全体の集合が
自然数全体の集合の「真」部分集合にはなり得ない。
というなら、あたりまえのことなんですが。