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