ダブルリザードはうんこしないよ

Q.ダブルリザードとは？

A.FF5に登場するこんなモンスターです。

その形状から、
「ダブルリザードはどこからうんこするの？」との問いに、
「ダブルリザードはうんこしないよ」と言われています。

また、「アイドルはうんこしないよ」とも言われます。
A=C、B=C ならば A=B という数学の法則により、
ダブルリザードはアイドルだということになります。


これに納得した方は大間違い。
このイコール関係は成り立ちません。まず前提が間違っているのです。
どこが間違いかというと、「ダブルリザードはうんこしない」というのを、
ダブルリザード＝うんこしない　としているところです。
ちょっと変えて言うと、「50は100以下の数」と「80は100以下の数」を並べて、 50 = 80　と言っているようなものです。
ダブルリザードそれ即ちうんこしないというのは間違いで、あくまで、ダブルリザードはうんこしないというカテゴリに属するだけです。
数学的に表すのであれば、　ダブルリザード ⊂ うんこしない　が正解です。同様に、　アイドル ⊂ うんこしない　でもあり、これだとダブルリザードとアイドルはうんこしないという同一カテゴリに属する別のものとすることができます。勿論アイドルのダブルリザードだっているかもしれませんし、それを否定するものではありません。

ダブルリザード ⊂ うんこしない
アイドル ⊂ うんこしない　
を、下手ですが図解すると

このようになります。
ダブルリザードという事象とアイドルという事象が重なった部分が「アイドルのダブルリザード」ですね。

集合の授業の際は、このようなお話をして概要を説明していたものです。