Insieme Saturo Sia X un insieme e R una relazione di equivalenza e sia A⊆X. Esso si dice saturo se x∈A,y∈X∣x∼y⟹y∈A.