Iterated inductive definition

An Inductive definition technique that specifies a set of elements as the strongest sets closed under a set of Inference rules - each inference rule may only refer to already defined sets or the currently defined one.