Difference between revisions of "Equivalence relation"
From Maths
(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 a∈A we have aRa
Symmetric
A relation R is symmetric if for all a,b∈A we have aRb⟹bRa
Transitive
A relation R is transitive if for all a,b,c∈A we have aRb and bRc⟹aRc
Definition
A relation R is an equivalence relation if it is:
- reflexive
- symmetric
- transitive