Definition:Set of Residue Classes