Zum Inhalt springen

Peano-Halbring/Vorgängereigenschaft/Fakt

Aus Wikiversity

In einem Peano-Halbring

gilt für jedes die Eigenschaft: Entweder ist oder es gibt ein mit .