Definition:Regular Cardinal

From ProofWiki
Jump to: navigation, search

Definition

Let $\kappa$ be an infinite cardinal.


Then $\kappa$ is a regular cardinal if and only if:

$\operatorname{cf} \left({\kappa}\right) = \kappa$

That is, if and only if the cofinality of $\kappa$ is equal to itself.


Also see


Sources