正规函数

一类重要的序数函数.设Aord，若函数f：A→A是严格递增的且对A内的每个极限序数α，都有

f(α)= f(ξ)，

则f称为正规函数.1907年，维布伦(Veblen，O)发现下列不动点定理：对每个正规函数f：ord→ord及每个序数α，f有不动点r≥α.即正规的序数函数有任意大的不动点.