Definition:Distance between Element and Subset of Real Numbers