here's a def... here's a... these are equivalence classes... such that m, n are in z, n is not zero, where m over n is an equivalence class of a... is the equivalence class of m coma n with the relation...