E \subseteq X \times A