Definition:Least Positive Reduced Residue System