Next Page Contents

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

Introduction

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

Generating the axiom

Ax::canonicalOrder()

Details

Changes




Do you have questions or comments?


Copyright © SciFace Software GmbH & Co. KG 2000