Inductive Definitions

lInductive definitions are the main ÒconstructiveÓ way to define infinite sets.
lWe will need infinite sets in much of what follows.