Cualquier subconjunto formula_3 del producto cartesiano formula_4 que cumpla