Matematyka.pl

Nie wiem gdzie to wrzucić, ale napotkałem to oznaczenie w zadaniu z teorii mnogości, więc tu zapytanie.

Czym jest oznczenie \(\displaystyle{ g| _{Dom\left( f\right) }}\) gdzie \(\displaystyle{ g}\) i \(\displaystyle{ f}\) to funkcje częściowe z \(\displaystyle{ \NN}\) do \(\displaystyle{ \NN}\). NIe chodzi mi o \(\displaystyle{ Dom}\), ale o \(\displaystyle{ |}\).

Obcięcie (zacieśnienie) funkcji \(\displaystyle{ g}\) do dziedziny funkcji \(\displaystyle{ f}\).