實數

實數域（R）係隻完備嗰有序域（complete ordered field），係有理數域嗰完備化（completion），係複數域C嗰子域。