If a poset $(V,\preceq)$ has the property that each of its non-empty subsets $S\subseteq V$ has a minimum, then it is called a well-ordered set. Moreover, the partial order $”\preceq”$ is called a well-order on $V.$
If a strictly ordered set $(V,\prec)$ has the property, that each of its non-empty subsets $S\subseteq V$ has a minimal element, it is called a well-ordered set, and the strict order $”\prec”$ is called a well-order on $V.$
|
|
|
|
| created: 2018-12-17 23:15:36 | modified: 2020-06-22 18:04:14 | by: bookofproofs | references: [979]
[979] Reinhardt F., Soeder H.: “dtv-Atlas zur Mathematik”, Deutsche Taschenbuch Verlag, 1994, 10