定義
C を圏とする。
E を C の全射からなる類(過去スレ017の323)とする。
X を C の対象とする。
(e, Y) と (e’, Y’) を X の M-商対象(>>653)とする。

射 h：Y → Y’で e’= he となるものがあるとき
(e, Y) は (e’, Y’) より大きいと言い、(e’, Y’) ≦ (e, Y) と書く。
このとき、h は全射であり (e, Y) と (e’, Y’) により一意に決まる。

誤解の恐れがない場合、用語の濫用だが Y は Y’より大きいと言い、Y’≦ Y とも書く。
また e は e’より大きいと言い、e’≦ e とも書く。