Una clase genérica es [texx][a]=\left\{{x\in Z^*:ax>0}\right\}[/texx].
Si [texx]a>0[/texx], [texx][a]=\mathbb{Z}_{>0}[/texx]
Si [texx]a<0[/texx], [texx][a]=\mathbb{Z}_{<0}[/texx]
(dos clases de equivalencia).
Te puede ser útil para practicar:
Relación de equivalencia, conjunto cociente.