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.

  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!




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