В този параграф ще завършим въвеждането на релациите и операциите в множеството на естествените числа. След това ще разгледаме някои въпроси от елементарната теория на числата: най-голям общ делител; най-малко общо кратно...

Множества, релации, функции, комбинаторика, графи, дървета, най-къс път в граф, алгоритъм на Дийкстра, формални взици и граматики, автоматни езици, крайни автомати, булеви функции, затворени мн-ва от булеви функции...