Függvények leszűkítése

Helló. Nem konkrétan házi feladat de kapcsolódó lenne. A függvényeket vettem át az Obádovics Matematikából, de egyszerűen nem értem a leszűkítés magyarázatát (lást csatolt fájlok). Eq={x∈R | x≥0}=R0+, eddig értem, de azt nem miért lesz a függvény szűrjektív és nem injektív, hiszen ha az értékkészletet csak az x≥0 szakaszon vesszük akkor az pont injektív lenne és a Dq={y∈R | y≥0} esetben lenne szűrjektív. Vagy az x itt (Eq={x∈R | x≥0}=R0+) csak egy random számot jelölne az R halmazból és nem egy argumentumot?