Los Naturales (formula_1), los Enteros (formula_2) y los Racionales que veremos a continuación son subconjuntos de los Reales.