The recursive definition of a set is called:
Implicit definition
Cartesian definition
Inductive definition
Universal definition