Table of Contents - 21.47.17.1. Laws for internal binary operations
In this subsection, the "laws" applicable for "binary operations" according
to the definition in [Hall] p. 1 and [BourbakiAlg1] p. 1, p. 4 and p. 7 are
defined. These laws are called "internal laws" in [BourbakiAlg1] p. xxi.