Il primo è Q, dato che ogni numero razionale è p/q, con q naturale e p intero, perciò certamente p/q sta in A_q.

Il secondo è Z: certamente contiene Z dato che tutti i numeri interi hanno quella proprietà. D'altra parte, se ci fosse anche un numero non intero p/q, con mcd(p,q)=1 e q≥2, allora p/q non appartiene ad A_p: infatti p²/q non si semplifica, essendo mcd(p²,q)=1, e quindi non è vero che p× p/q sta in Z