实数域是实数所在的有理集合，具有连续性、完备性、有序性等性质。