⊂是包含于的意思

R_f⊂Y Y的值域包含于Y,但Y的至于并不一定等于Y