Let . The question is a symmetric relation on ? It is trivially easy to prove that it's a relation, to see that it's symmetric merely note that if then for all but since each is symmetric this implies for all and thus . Now it is clear that and it is clear that it's the smallest, for if is a symmetric relation then