Para todo valor "x" e "y" que pertenecen a los números naturales, la suma "x" + "y" pertenece a los números naturales.