Si se omite la última propiedad, hablamos de una B-álgebra.