donde "A" es todo conjunto elemental que contenga a "E".