Definition:Saturation (Equivalence Relation)/Definition 2
Jump to navigation
Jump to search
Definition
Let $\sim$ be an equivalence relation on a set $S$.
Let $T \subset S$ be a subset.
The saturation of $T$ is the union of the equivalence classes of its elements:
- $\ds \overline T = \bigcup_{t \mathop \in T} \eqclass t \sim$