  We introduce real induction, a proof technique analogous to mathematical
induction but applicable to statements indexed by an interval on the real line.
More generally we give an inductive principle applicable in any Dedekind
complete linearly ordered set. Real and ordered induction is then applied to
give streamlined, conceptual proofs of basic results in honors calculus,
elementary real analysis and topology.
