Function minimum associated to a congruence on integral n-tuple space. J.C. Rosales (1995) Semigroup forum