A la izquierda está la clase del pullback de "P" a "Y"; a la derecha está la imagen de la clase de "P" bajo la función inducida en cohomología.