ポーランド空間
In mathematics, a Borel equivalence relation on a Polish space "X" is an equivalence relation on "X" that is a Borel subset of "X" × "X" (in the product topology).