>>211
> 0<0はおかしいがA⊂Aはおかしくない

だからそれは君が \subset を \subseteq の意味で読み書きするのに慣れているからそう思っているだけだ
一方で、算術の不等号と同じく \subset は \subsetneq の意味で使う流儀の本も決して少なくない