\{ (a, e_B) \in G | a \in A \}