Besonderhede van voorbeeld: -1588962753767929541

English

Let T : X → X and f : X → [0, +∞) be a lower semicontinuous function from X into the non-negative real numbers.

Japanese

T : X → X と f : X → [0, +∞) を X から非負の実数への下半連続函数とする。