Как это расшифровать
Существует функция "эф" - отображение множества "икс большое" во множество действительных чисел "эр", " икс нулевое" принадлежит множеству "икс большое"
только первый значек (квантор), как "Е" в другую сторону