Definition:Saturation Under Equivalence Relation