Assertion: rational number's denominator | /r/HasProperty | coprime
Facets:
Source sentences:
text: Where you note that every equivalence class of fractions is represented by its irreducible form (when the denominator and numerator are coprime).