Definition 6.1.5 (Subspace Uniformity).label Let $(X, \fU)$ be a uniform space and $A \subset X$, then the family
\[\fU_{A} = \bracs{U \cap (A \times A)| U \in \fU}\]
forms a uniformity on $A$, known as the subspace uniformity induced on $A$.
Definition 6.1.5 (Subspace Uniformity).label Let $(X, \fU)$ be a uniform space and $A \subset X$, then the family
forms a uniformity on $A$, known as the subspace uniformity induced on $A$.