ここで、Sの任意の元x,yに対してある実数Mが存在して、d(x,y)<Mが存在するのならばdは上に有界であり、このときdは最大値を取りうる
dが最大値を持つと言う条件下においてスレタイはある一定の意味を持つと言えるであろう