ε_ij는 서로 독립이고, 평균은 0, 분산은 σ²인 정규분포를 따른다고 가정한다. 는 서로 독립이고, 평균은 0, 분산은 인 정규분포를 따른다고 가정한다.

τ_j는 각각의 집단평균(μ_j)과 전체평균(μ)과의 차이를 나타낸다.

을 만족한다.

귀무가설은 H₀ : μ₁ = μ₂ = ⋯ = μ_k 이다