Definition:Equality of Real Numbers