we have |x1−a|<δ∧|x2−a|<δ , but for the instances when this is false, it wont effct the truth value of the entire LHS of the equivilance (by virtue of the $\exists$ symbol).
And in the instances in which its true, it wont affect the truth value of (x1<x2∧|x1−a|<δ∧|x2−a|<δ)