Αν ο είναι ένας μετρικός χώρος με
συμβολίζουμε τη σ-άλγεβρα των συνόλων Borel και με
τη σ-άλγεβρα που παράγεται από όλα τα ορθογώνια
όπου τα
είναι Borel υποσύνολα τού
. Δεν είναι δύσκολο να δει κανείς ότι
.
Ισχύει το ίδιο με ένα αυθαίρετο μετρικό χώρο στη θέση τού ;