inductive set

Türkçe: tümevarımsal küme

Açıklama: Tümevarımsal küme; tümevarım aksiyomunu sağlayan