Zahlen

• Def: G heißt Zahl, falls ∀g∈G^L, h∈G^R : g < h,

  und alle Optionen von G Zahlen sind.

• Bsp: 0 ist Zahl, 1 = {0 | } ist Zahl, -1 = ...,

  1/2 = {0 | 1} ist Zahl, * = {0 | 0} ist keine Zahl.

• Satz: Summe von Zahlen ist Zahl.
• Satz: Jede Zahl ist mit 0 vergleichbar (keine Zahl ist unscharf). Folgerung: Auf Zahlen ist ≤ total.
• Folgerung: max G^L dominiert alle in G^L,

  jede Zahl G hat Darstellung mit | G^L|≤1,| G^R|≤1.

• ...die der Normalform-Algorithmus auch finden sollte