If R is the largest equivalence relation on a set A and S is any relation on A, then
∵ Understood property