ポーランド空間
The same holds on every Polish space, see , , , and .