8.4 Types of relations between definitions

8.4.1 Functionally equivalent definers

8.4.2 Grouping subdefinitions together

8.4.3 Distributed definitions