finitary property有限性性质
finitary tree有限树
finitary mathematics有限性数学
finitary proof有限性证明
finitary operation有限元运算
group of finitary permutations[数] 有限性置换群