Insieme Saturo rispetto a una Relazione

Insieme Saturo

Sia $X$ un insieme e $\mathcal{R}$ una relazione di equivalenza e sia $A\subseteq X$.
Esso si dice saturo se $x\in A,y\in X|x\sim y⟹y\in A$.