Metrizability is Preserved by Sequence-Covering and Closed Maps

• 序列覆盖的闭映射保持可度量性