User blog comment:Fejfo/Weak fixed points/@comment-30118230-20180506122843/@comment-1605058-20180506123330

\(\mathrm{cf}(\alpha)\) is the cofinality of \(\alpha\), which is the least ordinal \(\beta\) such that there is an unbounded map \(\beta\to\alpha\).