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 means that any rational number can be written in the form of \( \frac{a}{b} \) where \( a \) is an integer and \( b \) is a nonzero integer.