Definition. Residue Class [0059]

    The residue class of modulo is given by the equivialence class .