# `Ax` - predefined axioms

## Table of contents

1. `canonicalOrder` - the axiom of canonically ordered sets
2. `canonicalRep` - the axiom of canonically representation
3. `canonicalUnitNormal` - the axiom of canonically unit normals
4. `closedUnitNormals` - the axiom of closed unit normals
5. `efficientOperation` - the axiom of efficient operations
6. `normalRep` - the axiom of normal representation
7. `noZeroDivisors` - the axiom of rng's with no zero divisor
8. `systemRep` - the axiom of facade domains

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