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 [ilmath]R[/ilmath] in [ilmath]A[/ilmath] we require the following properties to define a relation (these are restated for convenience from the relation page)
Reflexive
A relation [ilmath]R[/ilmath] if for all [ilmath]a\in A[/ilmath] we have [ilmath]aRa[/ilmath]
Symmetric
A relation [ilmath]R[/ilmath] is symmetric if for all [ilmath]a,b\in A[/ilmath] we have [ilmath]aRb\implies bRa[/ilmath]
Transitive
A relation [ilmath]R[/ilmath] is transitive if for all [ilmath]a,b,c\in A[/ilmath] we have [ilmath]aRb\text{ and }bRc\implies aRc[/ilmath]
Definition
A relation [ilmath]R[/ilmath] is an equivalence relation if it is:
- reflexive
- symmetric
- transitive
