Implementation of mathematics in set theory: Difference between revisions

Revision as of 10:26, 22 February 2013

Revision as of 09:47, 4 April 2013

Line 94:

* A '''[[partial order]]''' if <math>R</math> is reflexive, antisymmetric, and transitive.

* A '''[[linear order]]''' if <math>R</math> is a partial order and for every <math>x, y</math> in the field of <math>R</math>, either <math>xRy</math> or </math>yRx</math>.

* A '''[[well-ordering]]''' if <math>R</math> is a linear order and well-founded.