(ここで・はformula_19の射の合成を表す)を満たすものと書ける。