Garis bilangan real

Garis bilangan real memuat suatu pengukuran kanonikal, yaitu . Pengukuran ini dapat didefinisikan sebagai suatu yang didefinisikan pada , di mana pengukuran pada interval apapun merupakan panjang dari interval itu.