関係ありそうでなさそうな話だが、最近の高校の教科書みたら
「A は B の部分集合」を昔はA ⊆ B (等号は二本棒)で表していたのが、
いつの間にやら A⊂B に変っててビックリしたよ。