Обьясните, что это значит и какой теме относится?

Функция f на множестве Х такая что переводит множество Х само в себя
Один из способов задания функций
стрелочка обозначает соответствие (сопоставление элемента одного множества элементу другого )

а раздел математики . Ну скорее всего анализ , там где дают определение функции .

Символ f : X → Y означает, что задана функция f с областью определения Х и областью значений Y. Иначе говоря, для всякого значения х ∈ Х значение у = f(х) ∈ Y. При этом принято говорить, что задана функция "из Х в Y". В том случае, когда Y = X, функция действует "из Х в Х". Например, числовая функция f заданная на всей числовой оси R действует из R в R. И это можно записать так: f : R → R.
Вот и вся наука.
Если X = {1;2;3;4;5} и f : X → X с условием f(f(x)) = x при всех х из Х, то, например, так:
1) f(x) = x - тождественная функция;
2) f(1) = 2, f(2) = 1, f(3) = 4, f(4) = 3, f(5) = 5.
Есть и другие варианты.

Дискретная математика?

алгебра не иначе

вроде предел

Икс стремится к иксу
Х стрелка к 0 икс стремится к нулю и т. п
Раздел или пределы или лимиты но это не точно