◀ ▲ ▶Branches / Settheory / Explanation: Examples of Extensional Relations
Explanation: Examples of Extensional Relations
(related to Definition: Extensional Relation)
The extensional relations are such relations $xRy$, in which the elements $y$ are determined by the elements $x.$ We provide some important examples of extensional relations and prove that they are indeed extensional.
Table of Contents
 Proposition: The Contained Relation is Extensional
 Proposition: Partial Orders are Extensional
 Proposition: Strict Orders are Extensional
Thank you to the contributors under CC BYSA 4.0!
 Github:

References
Bibliography
 Hoffmann, D.: "Forcing, Eine EinfÃ¼hrung in die Mathematik der UnabhÃ¤ngigkeitsbeweise", Hoffmann, D., 2018