  The induction principle for natural numbers expresses that when a property
holds for some natural number a and is hereditary, then it holds for all
numbers greater than or equal to a. We present a similar principle for real
numbers.
