Example 4.7.1.30. Let $(T, \leq )$ be a linearly ordered set. Then $\mathrm{cf}(T) = 0$ if and only if $T$ is empty.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Example 4.7.1.30. Let $(T, \leq )$ be a linearly ordered set. Then $\mathrm{cf}(T) = 0$ if and only if $T$ is empty.