定義
(C, U) を A 上の準具象圏(過去スレ019の794)とする。
M を C の埋め込み(過去スレ019の816)全体からなる類(過去スレ017の323)とする。
C の M-本質的(>>33)な射は本質的(essential)と呼ばれる。