A `liberal' axiomatic definition is produced as follows.
#example46#
A `generic' axiomatic definition is produced as follows.
#example54#
A `unique' axiomatic definition is produced as follows.
#example63#