Equivalent Relations Flashcards
What is an equivalent relation?
An equivalent relation is a relation on a set X that is reflexive, symmetric, and transitive.
What does it mean for a relation to be transitive?
A relation R is transitive if (a, b) ∈ R, and (b, c) ∈ R, implies (a, c) ∈ R.
Or, if aRb and bRc implies (=>) aRc
What is meant by a a relation that is symmetric?
A relation R is said to be symmetric if the ordered pair (a, b) ∈ R => (b, a) ∈ R.
What is meant by a relation that is reflexive?
A relation R is said to be reflexive if (a, a) ∈ R. That is, if the relation aRa exists.
What is a relation?
A relation is a way/method of describing the connection between elements of the given sets. It is also a subset of the Cartesian product of the given sets.
What is meant by “pairwise disjoint”?
A collection of sets is said to be pairwise disjointed if no two sets in the collection share a common element, or if the intersection of the sets is an empty set.
What is an equivalent class?
An equivalent class is a subset of X under a given equivalent relation, whose elements are equivalent to each other.