If the two sets of a binary relation are in fact one and the same set, other properties become relevant. The following properties are fundamental to the concept of equivalence relations, which we will learn about later.

**Definition**: Reflexive, Symmetric and Transitive Binary Relations

Let \(V\) be a set and \(R\subseteq V\times V\) be a binary relation. \(R\) is called:

**reflexive**, if \(xRx\) for all \(x\in V\)**symmetric**, if from \(xRy\) it follows that $yRx$ for all \(x,y\in V\).**transitive**, if from $xRy$ and $yRz$ it follows that $xRz$ for all $x,y,z\in V.$

| | | | | created: 2014-04-02 22:07:36 | modified: 2018-12-14 00:05:32 | by: *bookofproofs*

(none)

(none)

FeedsAcknowledgmentsTerms of UsePrivacy PolicyImprint

© 2018 Powered by BooOfProofs, All rights reserved.

© 2018 Powered by BooOfProofs, All rights reserved.