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

@F: @X -> @Y

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

команда
ex("command",[])

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

отображение, область, область
ex("mor",[]), ex("ob",[]), ex("ob",[])

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

Строится отображение F из X в Y.

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

mk_mor