Subjgrp 7. Definitions