Auxiliary Definitions
In this section:
•
•
•
•
•
•
•
•