generated at
イコールだと思い込んでいた集合
集合としてイコールだと思い込んでいたものが、イコールではなく包含関係にある、と言う時、そこには何か今まで見落としていたものがある