Consider a linear system of equations with interval coefficients  and each interval coefficient is associated with either a universal or an existential quantifier The AE solution set and AE solvability of the system is defined by ∀∃- quantification