Definition:Cofinal Relation on Ordinals

Definition
Let $x$ and $y$ be ordinals.

Then $y$ is said to be cofinal with respect to $x$ there exists a mapping $f: y \to x$ such that:

Notation
If $y$ is cofinal with $x$, the notation $\map {\mathrm {cof} } {x, y}$ can be used.

Warning
$\mathrm {cof}$ is not symmetric. In fact, it is antisymmetric.

Also see

 * Definition:Cofinal Subset