Definition:Set of Residue Classes/Least Positive