RealSeqMetricSpaceSpec