Simultaneous inductive definition

A definition technique that define more than one sets at once as a collection of Inference rules to determine membership of the elements of the sets - each inference rule shall refer to the sets in its Premises and its Conclusions.