Define Compact Metric Space