Symbols:Greek/Lambda/Order Type of Real Numbers

From ProofWiki
Jump to navigation Jump to search

Order Type of Real Numbers

$\lambda$

The order type of $\struct {\R, \le}$ is denoted $\lambda$ (lambda).


The $\LaTeX$ code for \(\lambda\) is \lambda .


Historical Note

The use of $\lambda$ to denote the order type of $\struct {\R, \le}$ dates back to the writings of Georg Cantor and Felix Hausdorff.

According to Winfried Just and Martin Weese in their Discovering Modern Set Theory. I: The Basics of $1996$, this order type, along with that for $\struct {\Q, \le}$, has not been greatly studied in recent years.

$\lambda$ is in fact far more often used to denote an infinite cardinal.


Sources