IMHO, the most complete
definition of an irrational number is the following:
An irrational number is any number N that divides the set of
rational numbers into two parts: those greater than N, and those less than N, and for which all rational numbers fall into one of those two categories.
I think this was originally
Dedekind's definition.