「同型」の階層 (例)