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 captures the essence of rational numbers, which can always be expressed in the form \( \frac{p}{q} \), where \( p \) and \( q \) are integers and \( q \) is not zero.