Rational Number

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

Defintion

$r$ is rational $⟺\exists$ integers $a$ and $b$ such that $r=\frac{a}{b}$ and $b\ne 0$.