Assertion: equivalence class | /r/HasProperty | identified with rational number
Facets:
Source sentences:
text: Then the equivalence class of the pair ( a , b ) can be identified with the rational number a / b , and this equivalence relation and its equivalence classes can be used to give a formal definition of the set of rational numbers.  
text: Then the equivalence class of the pair can be identified with the rational number , and this equivalence relation and its equivalence classes can be used to give a formal definition of the set of rational numbers.