The cofinality of any totally ordered set is regular, so one has cf(κ) = cf(cf(κ)).
任何全序集合的共尾性是正规的，所以有着 cf(κ) = cf(cf(κ))。