實數域(R)係個完備嘅有序域(complete ordered field),係有理數域嘅完備化(completion),係複數域C嘅子域,其虚部(imaginary part)係零;實數可以用Dedekind 分割(en:Dedekind cut)定義;每個實數都係一列有理數嘅極限,直觀、應用上,一個實數可以用有限或者無限嘅小數表示。
實數集入面有理數之外嘅數叫無理數,包括圓周率π、等等。