\cat::
Категория упорядоченных множеств
Блокноты MuPAD® будут демонтированы в будущем релизе. Используйте live скрипты MATLAB® вместо этого.
Live скрипты MATLAB поддерживают большую часть функциональности MuPAD, хотя существуют некоторые различия. Для получения дополнительной информации смотрите, Преобразовывают Notebook MuPAD в Live скрипты MATLAB.
Cat::OrderedSet
представляет категорию упорядоченных множеств.
Cat::OrderedSet
является набором с (полным) отношением порядка <
(_less
).
Используйте аксиому Ax::canonicalOrder
, чтобы утвердить, что элементы области канонически упорядочены как выражения MuPAD® (т.е. упорядочены относительно функции ядра _less
).