La multiplicación se define porx1⋅x2=[⟨m1⋅m2+n1⋅n2,n1⋅m2+m1⋅n2⟩]. El orden lineal enZ ...La multiplicación se define porx1⋅x2=[⟨m1⋅m2+n1⋅n2,n1⋅m2+m1⋅n2⟩]. El orden lineal enZ se define por lax1≤x2⟺m1+n2≤n1+m2. suma y la multiplicación se han definido para los números naturales, y las operaciones y el orden lineal enZ se definen con respecto a las operaciones y el orden lineal que se definieron previamente…