Subjgrp 9. Definitions