A surjection preserving and reflecting all adic congruences is measurable for the adic cylinder σ-algebra.

Initializing...

A surjection preserving and reflecting all adic congruences is measurable for the adic cylinder σ-algebra. · Prove2Me