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

=(@Ob,@Ob)

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

ex("mor",[])

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

w("="),w("("),var(ex("ob",[])),var(ex("ob",[])),w(")")

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

Предикат равенства областей

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

is_equal_ob