Un ensemble
est dit borné si, pour tout couple (x, y)
d'éléments de A, la distance D(x, y)
est majorée par une constante. Il est dit non borné si,
pour tout nombre réel ,
il existe dans A deux éléments x et y tels
que .
Si A = E, l'espace E est dit lui-même borné
ou non borné, selon les cas.