Correctness_Algebras.N_Omega_Binary_Iterings