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.