Definition:Set of Residue Classes/Least Absolute