Talk:Set Equivalence behaves like Equivalence Relation

This theorem is too broad as stated to match Definition:Equivalence Relation
Definition:Equivalence Relation defines equivalence relations on sets. The statement of this theorem makes no mention of the set involved. So either this needs to refer to a broader definition of equivalence relation (allowing relations, e.g., on the (proper) class of all sets), or the theorem needs to be narrowed to say that if $S$ is a set of sets, then set equivalence is an equivalence relation on $S$. --Dfeuer (talk) 04:01, 12 December 2012 (UTC)