Intersection hypothesis (source code)

= Intersection hypothesis
{title2=$H_I=\bigcap_{i\in I}H_i$}

= Intersection hypotheses
{synonym}

For a nonempty finite index set $I$, this hypothesis asserts that every member $H_i$ is true simultaneously. A valid local test must have its stated size under every parameter satisfying the entire intersection. The <Bonferroni correction> within $I$ always supplies such a test from valid elementary <p-values>.