Standard_Borel_Spaces.Set_Based_Metric_Space