2.1 The Specifications of Note M-6

The following table summarizes the names of the specifications provided in Note M-6 [RM99a]:

Order Theory:

 SigOrder,  PartialOrder,  TotalOrder,
 DefineBooleanAlgebra,  BooleanAlgebra.

Finite Sets:

 Elem,  GenerateFiniteSet,  FiniteSet,
 FinitePowerSet.

Algebra:

 Semigroup,  Monoid,  CommutativeMonoid,  DefineGroup,  Group,  DefineCommutativeGroup,  CommutativeGroup,
 DefineRing,  Ring,  DefineIntegralDomain,  IntegralDomain,  FactorialRing,  ConstructField,  DefineField,  Field,
 DefineCommutativeField,  CommutativeField.

Boolean:

 Boolean.

Numbers:

 GenerateNat,  Nat,  DefineEuclidianRing,
 EuclidianRing,  GenerateInt,  Int,  GenerateRat,  Rat.

List and Bag:

 GenerateList,  List,  GenerateBag,  Bag.

Character and String:

 Char,  String.