Peano-Halbring/Kürzungseigenschaften/Fakt

Aus Wikiversity

In einem Peano-Halbring

gilt die folgende Abzieh- bzw. Kürzungsregel.

  1. Für alle folgt aus die Gleichheit .
  2. Für alle mit folgt aus die Gleichheit .