... definition by mathematical induction 用数学归纳法定义 definition by recursion 用递归定义 definition by transfinite induction 用超限归纳法定义 ...
双语例句
1
To allow recursion, a collaboration structure is nested within a class specification, which means that all instances of that class will have an internal structure specified by the class definition.