Producto cartesiano de AXB siendo A:(0,0) y B:((x,y)/y:0x) es el subconjunto

El producto cartesiano de AXB siendo A:(0,0) y B:((x, y)/y:0x) es el subconjunto del plano dado por