構造の問題なのですが・・・

次の(1)〜(3)について２つの構造の違いを通常の言葉で述べ、一方で成立し他方で成立しない論理式を書け。
ただし演算記号はоとする。また以下の構造で＋、・は通常の和、積を表す。

(1)(Z,+)と(Z,・)
(2)(Q,+)と({x∈Q|x>0},・)
(3)(Q-{0},・)と({x∈Q|x>0},・)

(1)は逆元の存在を言えばいいと思うのですが、(2)(3)がわかりません。
どなたかお願いします