有界
有界とは、距離空間において、ある集合のすべての要素が特定の範囲に収まることです。
つまり、集合Aが有界であるとは、集合A内の任意の2要素間の距離が特定の距離以下であることを意味します。