Canonical Ltd.
このとき上の はカノニカルな写像