Dedekind cut
無理數可以通過有理數的分划的概念進行定義。