>>83の修正

定義
D を圏 C の充満(過去スレ017の362)かつ同型的に密(>>80)な部分圏とする。
D の任意の相異なる二つの対象は同型とはならないとき D を C の骨格(skeleton)という。