Как это расшифровать

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

только первый значек (квантор), как "Е" в другую сторону