Compact metric space