Episode I

Alice és Bob

. rész: Természetes számok rendezésének tulajdonságai

A természetes számok \N halmazán tetszőleges a, b és c számokra igazak az alábbiak:

  1. Ha a\leq b akkor a+c \leq b+c.
  2. Ha a\leq b akkor ac \leq bc.

Ha tehát egy egyenlőtlenség mindkét oldalához hozzáadjuk ugyanazt a természetes számot, vagy mindkét oldalát megszorozzuk ugyanazzal a természetes számmal, akkor az egyenlőtlenség továbbra is érvényben marad.