\begin{definition}[Definition:Regular Cardinal]
Let $\kappa$ be an infinite cardinal.
Then $\kappa$ is a '''regular cardinal''' {{iff}}:
:$\operatorname{cf} \left({\kappa}\right) = \kappa$
That is, {{iff}} the cofinality of $\kappa$ is equal to itself.
\end{definition}