στο χώρο
τέτοιο ώστε
για κάθε
.Δίνω μια επεξήγηση των συμβόλων και των εννοιών για να ασχοληθεί αν θέλει και κάποιος που δεν γνωρίζει Θεωρία Μέτρου.
Μια συνάρτηση
ονομάζεται μέτρο αν
και
για κάθε ακολουθία ξένων ανά δύο συνόλων
.Ένα μέτρο λέγεται σ-πεπερασμένο αν υπάρχουν σύνολα
πεπερασμένου μέτρου τέτοια ώστε
.Η
είναι η ελάχιστη οικογένεια υποσυνόλων του
η οποία περιέχει τα διαστήματα και είναι κλειστή ως προς συμπληρώματα και αριθμήσιμες ενώσεις.
(όχι κατ' ανάγκη Borel), θέτουμε
το πλήθος των ρητών που περιέχει (ακόμη και άπειρο). To
(απλά). Επίσης, το
του
είναι
και
.