Se define el operador de translación (unitario) formula_21 como