Understanding of definition of ordinal

56 Views Asked by At

An ordinal is a well-ordered set $X$ such that for all $x\in X$, $(−∞, x) = x$.

How could the definition say $(−∞, x) = x$, how can we obtain this? I didn't understand. Can you explain?

2

There are 2 best solutions below

8
On BEST ANSWER

What this is saying is that each $x$ is precisely the set of all its predecessors in $X.$ In other words, letting $<$ be the order relation on $X$, for all $x\in X,$ we have $$x=\{t\in X:t<x\}.$$

The set-builder style set above is what the notation $(-\infty,x)$ means.

0
On

That notation means x is the set of all sets less than x (in the well-order). There is no actual -infinity, it is just used as part of the interval notation colorfully.