Table of contents:

1. Introduction
2. Statements
3. Definitions
   1. Predicates
   2. Modes
   3. Functors (means, equals)
   4. Attributes
4. Redefinitions
   1. Result Type is being changed
      1. Modes
      2. Functors
   2. Definiens is being changed
      1. Predicates
      2. Modes
      3. Functors (means, equals)
      4. Attributes
5. Clusters
6. Properties
   1. Predicates
      1. reflexivity
      2. irreflexivity
      3. symmetry
      4. asymmetry
      5. connectedness
   2. Functors
      1. involutiveness (means, equals)
      2. projectivity (means, equals)
      3. commutativity (means, equals)
      4. idempotence (means, equals)
7. Properties in Redefinitions
   1. Predicates
      1. reflexivity
      2. irreflexivity
      3. symmetry
      4. asymmetry
      5. connectedness
   2. Functors
      1. commutativity
8. Definitional_Expansions
   1. Predicates
      1. non permissive
      2. permissive
   2. Modes
      1. non permissive
      2. permissive
   3. Attributes
      1. non permissive
      2. permissive