El producto en esta categoría está dado por el producto cartesiano de conjuntos.