Difference between revisions of "Equivalence relation"

From Maths
Jump to: navigation, search
(Created page with "An equivalence relation is a special kind of relation ==Required properties== Given a relation {{M|R}} in {{M|A}} we require the following properties to define a...")
 
m
Line 1: Line 1:
 +
{{Dire page|Just look at it}}
 +
 +
 
An equivalence relation is a special kind of [[Relation|relation]]
 
An equivalence relation is a special kind of [[Relation|relation]]
  

Revision as of 13:17, 19 February 2016

This page is a dire page and is in desperate need of an update.
The message is:
Just look at it


An equivalence relation is a special kind of relation

Required properties

Given a relation R in A we require the following properties to define a relation (these are restated for convenience from the relation page)

Reflexive

A relation R if for all aA we have aRa

Symmetric

A relation R is symmetric if for all a,bA we have aRbbRa

Transitive

A relation R is transitive if for all a,b,cA we have aRb and bRcaRc

Definition

A relation R is an equivalence relation if it is:

  • reflexive
  • symmetric
  • transitive