Cuando Z = X x Y, pr, pr denotan las proyecciones sobre X