◀ ▲ ▶Branches / Set-theory / 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

1. Proposition: The Contained Relation is Extensional
2. Proposition: Partial Orders are Extensional
3. Proposition: Strict Orders are Extensional

Thank you to the contributors under CC BY-SA 4.0!

Github:

References

Bibliography

1. Hoffmann, D.: "Forcing, Eine Einführung in die Mathematik der Unabhängigkeitsbeweise", Hoffmann, D., 2018