se dice una operación binaria (o ley de composición interna) en formula_1.