モニック射
α1 : A1 → A、 α2 : A2 → A、 α3 : A3 → A をモニック射とし、α1 ≦ α2 かつ α2 ≦ α3 であるならば、α1 ≦ α3 である。