That is: Given any set A and any set B, if A is a nonempty set (that is, if there exists a member X of A), then if A and B have precisely the same members, then they are equal.
That is Given any set A and any set B if A is a nonempty set (that is if there exists a member X of A) then if A and B have precisely the same members then they are equal