>>374の修正
過去スレ018の650の修正

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

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

M が C の全ての正則単射(過去スレ018の456)からなるとき
C を正則冪良(regularly wellpowered)と言う。

M が C の全ての極値的単射(過去スレ018の496)からなるとき
C を極値的冪良(extremally wellpowered)と言う。