11.3.   DEFINITIONS OF GROUPS, CLASSES, AND TYPES