>>856
Iから†Iへの全単射(†Iの定義から定まる)
†IからJへの包含写像
JからLへの商写像
の合成