定義
C を圏とする。
C の任意の対象 X に対して、任意の小さい集合 I を添字集合とする
X の部分対象の族 (X_i)_I の結び(>>133)が存在するとき
C は小さい結びを持つと言う。