The necessary condition for a number to be rational is:
It must be able to be expressed as an integer divided by a nonzero integer.
This definition encompasses all rational numbers, which can indeed be expressed in fraction form, but the key aspect is the integer division.