Episode I

Alice és Bob

. rész: Természetes számok rendezése

Amennyiben az \N halmaz tetszőleges a és b elemeihez létezik olyan k szintén \N-beli elem, amelyre teljesül, hogy a+k=b, akkor azt mondjuk, hogy a\leq b. Kiolvasva: „a legfeljebb b” vagy „b legalább a”.

Ha ezen kívül a\neq b is teljesül – azaz a nem azonos b-vel –, akkor azt mondjuk, hogy a\lt b. Kiolvasva: „a kisebb, mint b” vagy „b nagyobb, mint a”. Egy ezzel azonos megfogalmazás így hangzik: ha tetszőleges a és b elemekhez létezik olyan k elem, amelyre teljesül, hogy a+k=b és k\neq 0, akkor a\lt b.

Fordított irányú reláció esetén értelemszerűen használhatjuk a \geq vagy a \gt szimbólumokat is.

Kapcsolódó oldal:
Érintő - Elektronikus Matematikai Lapok