Factoring a function through the projection of an equivalence relation induced by that function yields an injection/Diagram

[ilmath]\xymatrix{ X \ar[r]^f \ar[d]_{\pi} & Y \\ \frac{X}{\sim} \ar@{.>}[ur]_{\tilde{f} } }[/ilmath]
Commutative diagram showing the situation