what is the meaning of this element $\varphi(f|_Y)?$

47 Views Asked by At

I have some confusion in symbolics .

My confusion is given below marked in red colour

enter image description here

what is the meaning of this element $\varphi(f|_Y)?$

My main confusion about the symbolics is $(f|_Y)$?