The idea is everything is always equal to itself. That is, for any object x it is always true that x = x. We say equality is reflexive.

So that set is empty because if some 'x` were in it then we would have x both equal and not equal itself, which is a contradiction.
There are no *x* such that *x* ≠ *x*, so the set of all such *x*'s is empty