| 释义 |
equivalence relation A binary relation ∼ on a set S that is reflexive, symmetric and transitive. For an equivalence relation ∼, a is said to be equivalent to b when a ∼ b. It is an important fact that, from an equivalence relation on S, equivalence classes can be defined to obtain a partition of S. Conversely, given any partition of S, an equivalence relation can be defined by a ∼ b if and only if a and b are in the same part of the partition.
|