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

список терминов и термов, терм класса (области). Новые термины из нескольких слов заключаются в кавычки.

make_elements

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

Новый термин, выражение, задающее класс (область).

make_element

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

терм; выражение, задающее класс (область)
ex("term",[]); ex("ob",[])

make_element

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

новый термин, область, область
ex("new",[]), ex("ob",[]), ex("ob",[])

mk_mor

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

Список новых имен областей, отделенных запятыми.
var(ex("list",[]))

objects

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

Новый термин. Термин, состоящий из нескольких слов, должен быть заключен в кавычки или в квадратные скобки.

object

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

список новых терминов, отделенных запятыми
var(ex("list",[]))

objects

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

Новый термин.
Термин, состоящий из нескольких слов, должен быть заключен в кавычки или в квадратные скобки.

morphism

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

var(ex("list",[])),w("-"),w("отображения")

morphisms

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

терм класса, терм класса
var(ex("ob",[])), var(ex("ob",[]))

make_subobject