En tal caso, se dice que formula_1 cumple con la propiedad de antisimetría.