定理 (parameterized infimumとparameterized supremum) ととを全てposetとする。 , . に対するinfimum operatorをと書くとき、に対するinfimum operatorをと書く。 また、に対するsupremum operatorをと書くとき、に対するsupremum operatorをと書く。 証明…