Correctness_Algebras.Approximation