(Z+,∼)={(a,b)∈Z+2|∃n∈Z,ab=n2}
Är ∼ reflexiv? a∼a=Sant∀a∈Z
Ja, eftersom det alltid finns alltid ett heltal n sådant att n2=a2 (n=a) eftersom a alltid är ett heltal.
Är ∼ symmetrisk? a∼b⟺b∼a
Ja, eftersom ab=ba
Är ∼ transitiv? a∼b∧b∼c⟹a∼c
Ja,