Upe conmutatividad ha asociatividad suma real rehegua ipya'eterei; ojeikuaaukáramo papapy teéva 0 conjunto racional negativo-ramo, ojekuaa ha'eha identidad aditiva.