Definition: Dedekind'scher Schnitt

Ein Dedekind’scher Schnitt liegt vor, wenn:

  1. und