\forall\; \overrightarrow{a} \in U