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