Se define la intersección de formula_2 y formula_4, denotada por formula_23 (que se lee A intersección B), por el conjunto