تعریف بازگشتی

Also known as inductive definition

defining the elements in a set in terms of other elements in the set