Dedekind cut
可以通过将区间["a", "b"]分划为"a" = "t"0 &lt; "t"1 &lt; ... &lt; "t""n" = "b"来定义。考虑下式：