Def/Dedekind cut

 =Metadata=