定義
C を圏とする。
C の任意の対象 X おいて X の任意の部分対象の族の結び(>>133)が存在するとき
C は結びを持つと言う。