Jabarkan Bilangan riil dari Penambahan

Konstruksi umum dari himpunan bilangan riil adalah penyelesaian Dedekind dari himpunan bilangan rasional. Bilangan riil didefinisikan sebagai potongan Dedekind dari rasional: himpunan tak kosong dari rasional tertutup bawah dan tidak memiliki elemen terbesar. Jumlah bilangan riil a dan b didefinisikan elemen demi elemen: