PlanetPhysics/Borel Isomorphism

A Borel isomorphism between two Borel spaces $$(X; \mathbb{B}(X))$$ and $$(Y; \mathbb{B}(Y))$$ is defined as the bijection $$\iota: (X; \mathbb{B}(X)) \cong (Y; \mathbb{B}(Y))$$.