【グラフ理論】離散数学／情報数学 2【組合せ論】

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