Notation and Formal Definition
An equivalence relation is a binary relation ~ satisfying three properties:
- For every element a in X, a ~ a (reflexivity),
- For every two elements a and b in X, if a ~ b, then b ~ a (symmetry)
- For every three elements a, b, and c in X, if a ~ b and b ~ c, then a ~ c (transitivity).
The equivalence class of an element a is denoted and may be defined as the set
of elements that are related to a by ~. The alternative notation R can be used to denote the equivalence class of the element a specifically with respect to the equivalence relation R. This is said to be the R-equivalence class of a.
The set of all equivalence classes in X given an equivalence relation ~ is denoted as X/~ and called the quotient set of X by ~. Each equivalence relation has a canonical projection map, the surjective function π from X to X/~ given by π(x) = .
Read more about this topic: Equivalence Class
Famous quotes containing the words formal and/or definition:
“That anger can be expressed through words and non-destructive activities; that promises are intended to be kept; that cleanliness and good eating habits are aspects of self-esteem; that compassion is an attribute to be prized—all these lessons are ones children can learn far more readily through the living example of their parents than they ever can through formal instruction.”
—Fred Rogers (20th century)
“Although there is no universal agreement as to a definition of life, its biological manifestations are generally considered to be organization, metabolism, growth, irritability, adaptation, and reproduction.”
—The Columbia Encyclopedia, Fifth Edition, the first sentence of the article on “life” (based on wording in the First Edition, 1935)