El producto cartesiano tiene la siguiente propiedad universal.