In the idea of Set Theory, the definition of a Rational Number is:

Defintion

is rational integers and such that and .