Definition:Distance between Real Numbers