Assertion: rational number | /r/DefinedAs | such that q ≠
Facets:
value: formally
type: MANNER
value: for the equivalence relation
type: OTHER
Source sentences:
text: Rational numbers can be formally defined as equivalence classes of pairs of integers (p, q) such that q ≠ 0, for the equivalence relation defined by (p 1 , q 1 ) ~
text: Rational numbers can be formally defined as equivalence classes of pairs of integers (p, q) such that q ≠ 0, for the equivalence relation defined by (p1, q1) ~ (p2, q2) if, and only if p1q2 = p2q1.