Welcome guest
You're not logged in.
139 users online, thereof 1 logged in

Definition: Extensional Relation

Let $V$ be a set and let $R\subseteq V\times V$ be a binary relation. $R$ is called extensional if all elements of $x\in V$ are uniquely determined by ordered pairs $(z,x)\in R,$ formally

$$\{z\in V\mid zRx\}=\{z\in V\mid zRy\} \Rightarrow x=y,$$

or, by contraposition,

$$\{z\in V\mid zRx\}\neq \{z\in V\mid zRy\} \Rightarrow x\neq y.$$

| | | | | created: 2019-02-01 08:03:02 | modified: 2019-02-16 17:11:14 | by: bookofproofs | references: [8055]

1.Explanation: Examples of Extensional Relations


This work was contributed under CC BY-SA 3.0 by:

This work is a derivative of:

(none)

Bibliography (further reading)

[8055] Hoffmann, D.: “Forcing, Eine Einführung in die Mathematik der Unabhängigkeitsbeweise”, Hoffmann, D., 2018

FeedsAcknowledgmentsTerms of UsePrivacy PolicyImprint
© 2018 Powered by BooOfProofs, All rights reserved.