Sean formula_68, donde formula_15 es un campo entonces se cumplen las siguientes propiedades para la operación binaria formula_70