归纳定义

扩展释义

归纳定义是定义集合的一种方法，对于用归纳定义给出的集合，要证明其中所有的元都有某个性质，通常用归纳证明。集合的归纳定义通常包括若干规则，用来生成其中的元，然后再说明，只有由这些规则生成的对象才是这个集合的元。归纳定义的一种等价的陈述是将所要定义的集合刻画成封闭于这些规则的最小的集。