大归纳维数

large inductive dimension