>>194
部分型は基本的に反対称律を持つから同値関係じゃなくて(半)順序関係だよ。

「Ｌ１はＵの別名、Ｌ２はＵの別名」としたとき、Ｌ１とＬ２は同じＵだから置換できるけど、
「Ｌ１はＵの部分型、Ｌ２はＵの部分型」としたとき、Ｌ１とＬ２は同じかどうかわからないから(Ｌ１、Ｌ２として)置換できるかもしれないしできないかもしれない。