Definition talk:Saturation (Equivalence Relation)

Not sure if $\overline T := \operatorname{pr}_1(\sim\cap\operatorname{pr}_2^{-1}(T))$ should be a definition or a theorem. --barto (talk) 18:59, 16 March 2017 (EDT)