Source: wikibot/dedekind-cut

= Dedekind cut
{wiki=Dedekind_cut}