Definition:Real Number/Equality

Definition
Two real numbers are defined as being equal they correspond to the same point on the real number line.