Oración 1: para todo par de enteros, a y b tenemos: Ua+b = UaV + Q a b Ub−a
Oración 2: para todo par de enteros, a y b tenemos: 1
Relación: neutral
Género: theses