W dalszym ciągu element ten może jednak nie mieć żadnej postaci normalnej. W przedstawionym powyżej systemie postaciami normalnymi są samodzielne liczby bez żadnych znaków +.
Bibliografia Handbook of automated reasoning, Volume 1 By John Alan Robinson, Andreĭ Voronkov, strona 561. . Handbook of Formal Languages: Beyond words By Grzegorz Rozenberg, Arto Salomaa, strona 281. .
Kategoria:Własności relacji dwuczłonowych