[الإضافة والمتضايفان‏]

واعلم أن المتضايفين لا بد أن يحدث لكل أحد من المتضايفين اسم تعطيه الإضافة فإذا قلت زيد فهو إنسان بلا شك لا يعقل منه غير هذا فإذا قلت عمرو فهو إنسان لا يعقل منه غير هذا فإذا قلت زيد بن عمرو أو زيد عبد عمرو فلا شك أنه قد حدث لزيد البنوة إذ كان ابن عمرو وحدث لعمرو اسم الأبوة إذ كان أب لزيد فبنوة زيد أعطت الأبوة لعمرو والأبوة لعمرو أعطت البنوة لزيد فكل واحد من المتضايفين أحدث لصاحبه معنى لم يكن يوصف به قبل الإضافة وكذلك زيد عبد عمرو فأعطت العبودة أن يكون زيد مملوكا وعمرو مالكا فقد أحدثت مملوكية زيد اسم المالك لعمرو وأحدث ملك عمرو لزيد مملوكية زيد فقيل فيه مملوك وقيل في عمرو مالك