## `Ax::canonicalOrder` -- the axiom of canonically ordered sets

#### Introduction

`Ax::canonicalOrder` states that domain elements are canonically ordered.

#### Generating the axiom

`Ax::canonicalOrder()`

#### Details

- The axiom `Ax::canonicalOrder` is used to state that a domain has an order `<` (`_less`) which is defined by the canonical order of the MuPAD-expressions.
- This implies that the order of two elements is defined by the system function `_less`.

#### Changes

- no changes

Do you have questions or comments?
Copyright © SciFace Software GmbH & Co. KG 2000