This clause gives the formal definitions for the Descriptor concept.