有意水準αの検定において、検定力関数P(θ)が対立仮説の領域ですべてα以上である性質を何というか。

誤って帰無仮説を採択する確率が、有意水準でコントロールされた確率を超えないことを保証する。