SUB METRIC SPACE
Definition
An object is a <SUB METRIC SPACE> if and only if: it is a <METRIC SPACE> (S, (D, +D, 0D), g); it is a <SUB STRUCTURE> where the containing structure is a <METRIC SPACE> (U, (D, +D, 0D), g), where S is a subset of U