ВЕРСИЯ ДЛЯ СЛАБОВИДЯЩИХ

@Выражение элемент @Области

Тип результата: 

boolean
ex("boolean",[])

Шаблон разработан в понятии: 
Тип аргументов: 

терм, область
ex("term",[]) ex("ob",[])

Комментарий: 

Проверяет, является ли выражение элементом области.

Имя операции: 

is_element