[next] [prev] [prev-tail] [tail] [up]

1.6.3  Einführung von Vergleichsrelationen auf ℕ

n < m⇔def∃p∈ℕn + p = m

Daraus folgen elementar die Definitionen der üblichen Vergleichsrelationen ≤ und ≥ sowie >.

[next] [prev] [prev-tail] [front] [up]