The discussion of explicative definitions belongs to the section on conceptions.

Definitions in Logic: Complete and Incomplete Ḥadd and Rasm