Remote genus plus proximate differentia yields:

Definitions in Logic: Complete and Incomplete Ḥadd and Rasm