と定義されているときには