Definition:Saturated Set (Equivalence Relation)/Definition 1

Definition

Let $\sim$ be an equivalence relation on a set $S$.

Let $T \subset S$ be a subset.

$T$ is saturated if and only if it equals its saturation:

$T = \overline T$