4.3: Recursive Definitions
of a set always consists ofthree distinct clauses:
(or simply basis)
establishes thatcertain objects are in the set.
(or simply induction) establishes theways in which elements of the set can be combined toproduce new elements of the set.
asserts that unless an objectsatisfying basis clause and inductive clause, theobject is not a member of the set.