Definition of metric space and example