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 are numbers that can be expressed as a fraction (where the numerator is an integer and the denominator is a nonzero integer).