S={x, y} と置いて、直積集合S × S=S^2 の元を列挙しろ。
(x,x), (x,y), (y,x), (y,y)
の4つだな。この結果に、代入
x=∅, y={a}
を施したのが解だ。