定義
C を圏 D の充満(過去スレ017の403)な部分圏とする。

C の対象と同型な D の対象は常に C の対象であるとき
C は D において同型的に閉じている(isomorphism-closed)という。