Subsection I.3.4.2

The second axiomatic construction