EDB — 294

Exercises

1. [294]Define the interval

   \[ I_ n = \{ 0,\ldots n\} \]

   of natural numbers using a recursive definition (without using the order relation).

   Solution 1

   [295]↺↻