第二の性
この第二の性質は、任意の formula_10 に対してある formula_11 が存在し、formula_12 を満たすすべての formula_7 とすべての formula_14 に対して formula_15 が成立することを意味する。