>C_m(α,β)＝⋃[n＜ω] C_m^n(α,β)
循環論法になってません？