Correctness_Algebras.Domain_Iterings