@NewF: @X -> @Y
Submitted by admin on сб, 2007-04-21 20:00.
Тип результата:
команда
ex("command",[])
Шаблон разработан в понятии:
Тип аргументов:
новый термин, область, область
ex("new",[]), ex("ob",[]), ex("ob",[])
Комментарий:
Строится новое отображение F из X в Y.
Имя операции:
mk_mor