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