Usando esta notación, se puede escribir Z = O dado que Z es el anillo de enteros del campo Q de números racionales.