@         Algebraic properties of IR

@         Order properties of IR

@         Supremum and infimum

@         Archimedean property

@         Completeness axiom

@         Rational and irrational density theorem 

@         Absolute value of real numbers and its properties