Muʿarraf is the phrase that provides the definition.

Definitions in Logic: Complete and Incomplete Ḥadd and Rasm