Induktivně definovaná množina

Induktivní definice množiny spočívá ve formulaci následujících dvou typů pravidel:

1. Základní pravidla explicitně definují, které prvky jsou v množině .
2. Induktivní pravidla určují, jak lze pomocí prvků, které již v množině jsou (tzv. předpoklady pravidla), vytvářet další prvky z (tzv. závěr pravidla).

Množina se pak skládá ze všech prvků, které lze obdržet konečným počtem použití pravidel 1. a 2.