Source: /cirosantilli/dedekind-cut

= Dedekind cut
{c}
{wiki}