7 Introduction to the Properties of Real Numbers