By definition, . Now, when does it happen that any set of the form is empty? This happens when it is not the case that there exist x and y such that A(x,y), or, equivalently, when for all x and y, it is not the case that A(x,y). Can you state this more simply for this particular A?