Definition:Saturation (Equivalence Relation)

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

Let $T\subset S$ be a subset.

Also denoted as
The saturation is also denoted $\operatorname{Sat}(T)$.

Also see

 * Equivalence of Definitions of Saturation Under Equivalence Relation
 * Definition:Saturated Set (Equivalence Relation)
 * Definition:Saturation (Group Action)
 * Saturation Under Equivalence Relation in Terms of Graph, an equivalent definition of saturation which is useful in topology