E = \bigcup E_n