共尾函数

共尾函数(cofinal function)是一类特殊的序数的函数，设f是序数β到α的函数，若f的值域在α内无界，即∪ran(f)=α，则称f在α内共尾。若对在α内共尾的递增序数序列{αλ}λ<β，令f(λ)=αλ，则f是α内的共尾函数。