Definition:Irrational Number

A number which is not rational is irrational.

That is, an irrational number is one that can not be expressed in the form $$\frac p q$$ such that $$p$$ and $$q$$ are both integers.

The fact that such numbers exist was known to the ancient Greeks.