Co znaczy to oznaczenie?

[agakolodziejska]

Jak w tytule, co oznacza ten podkreślony symbol? Czy chodzi o funkcję \(\displaystyle{ f}\) o dziedzinie \(\displaystyle{ J_{k}}\) ?

Twierdzenie: Załóżmy, że \(\displaystyle{ f}\) jest kawałkami ciągła. Niech \(\displaystyle{ J=\{J_{1},J_{2},...\}}\) będzie ciągiem maksymalnym przedziałów, na których \(\displaystyle{ f}\) jest ciągła. Funkcja \(\displaystyle{ f}\) spełnia równanie XXX wtedy i tylko wtedy, gdy \(\displaystyle{ J }\) można rozbić na \(\displaystyle{ \{J_{k}:k1,2,...\}}\), tak, że dla każdego \(\displaystyle{ k,J_{k}}\) jest 2- lub 4-cyklem funkcji \(\displaystyle{ f}\), \(\displaystyle{ \underline{f|_{\cup J_{k}}}}\) jest ciągła oraz \(\displaystyle{ \underline{f|_{\cup J_{k}}}}\) spełnia XXX.

[a4karo]

To oznacza obciięcie funkcji do tego przedziału