1302013602 a 正準等価性 1302013602 a compatibility decomposition 1302013602 a compatibility equivalence 1302013602 a 正準等価 1302013609 a 互換等価 1302013609 a 互換等価性 1302013609 r 正準等価性 1302013609 r 正準等価 1302013669 a 互換性等価性