定義
C を圏とする。
M を C の単射からなる類(過去スレ017の323)とする。
任意の C-対象の M-部分対象(>>646)の同型類全体が小さい集合のとき
C を M-べき良(M-wellpowered)と言う。

M が C の全ての単射からなるとき
C をべき良(wellpowered)と言う。

M が C の全ての正則単射(>>456)からなるとき
C を正則べき良(regularly wellpowered)と言う。

M が C の全ての極値的単射(>>496)からなるとき
C を極値的べき良(extremally wellpowered)と言う。