(New page: <h1> Equivalences of Well-ordered Relation </h1> <p> Definition </p>) |
|||
| Line 3: | Line 3: | ||
</h1> | </h1> | ||
| − | < | + | <h2> |
Definition | Definition | ||
| + | </h2> | ||
| + | |||
| + | <p> | ||
| + | <math>\langle A, R \rangle</math> is an ordered class iff | ||
| + | <ol> | ||
| + | </ol> | ||
</p> | </p> | ||
Revision as of 08:47, 1 June 2013
Equivalences of Well-ordered Relation
Definition
$ \langle A, R \rangle $ is an ordered class iff
