Словарь

が存在し、 α2・γ = α1 を満たすことを言う。 半順序関係とは、反射的（reflexive）かつ推移的（transitive）かつ反対称的（anti-symmetric）な関係を言うが、モニック射間の関係 ≦ は実際それらを満たす。 （反射律） α1 : A1 → A がモニック射であれば、α1