A consequence is that any uniform structure can be defined as above by a (possibly uncountable) family of pseudometrics (see Bourbaki: General Topology Chapter IX §1 no. 4).
可推論出，任何一個一致结构都可以如上述一般由一組（可能為不可数的）伪度量定義出來（参见 Bourbaki：《General Topology》 Chapter IX §1 no. 4）。