鎖複体の定義、境界演算子、および 0 次条件