I never used descrete math terms in english before, so I hope it sounds clear enough:
Formalize the following:
1) Between every two different real numbers there is a rational number
2) There exist real numbers x and y, such that x is smaller than y, yet x^2 is bigger than y^2
Now the solution...