Assertion: rational number | /r/DefinedAs | an equivalence class of pairs
Facets:
Source sentences:
text: A rational number is defined as an equivalence class of pairs.