يخرج المتضائفان كالأبوة والبنوة فَإِنَّهُمَا وَإِن اجْتمعَا فِي زيد لَكِن لَا من جِهَة وَاحِدَة بل من جِهَتَيْنِ فَإِن أبوته بِالْقِيَاسِ إِلَى ابْنه وبنوته بِالْقِيَاسِ إِلَى أَبِيه. والمتقابلان أَرْبَعَة أَقسَام - المتقابلان بالتضاد - والمتقابلان بالتضايف - والمتقابلان بِالْعدمِ والملكة - والمتقابلان بالإيحاب وَالسَّلب - لِأَن المتقابلان إِمَّا وجوديان أَو لَا. وعَلى الأول إِمَّا أَن يكون تعقل كل مِنْهُمَا بِالْقِيَاسِ إِلَى الآخر فيهمَا.
المتقابلان بالتضايف: كالأبوة والبنوة. ثمَّ التضايف يُطلق تَارَة على نفس النِّسْبَة الْعَارِضَة للشَّيْء كالأبوة والبنوة وَهُوَ التضايف الْحَقِيقِيّ. وَتارَة على ذِي النِّسْبَة أَي المعروض من حَيْثُ هُوَ معروض كَالْأَبِ وَالِابْن وَهُوَ التضايف المشهوري فَافْهَم.
ثمَّ اعْلَم أَن المتضايفين لَا يعقلان إِلَّا مَعًا فِي زمَان وَاحِد من غير أَن يكون لأَحَدهمَا تقدم على الآخر بِالذَّاتِ. وَلِهَذَا لَا يذكر أحد المتضايفين فِي تَعْرِيف الآخر لِأَن الْمُعَرّف بِالْكَسْرِ يكون عِلّة للمعرف بِالْفَتْح فَيكون للمعرف تقدم على الْمُعَرّف بِالذَّاتِ بالعلية فَلَو ذكر أحد المتضايفين فِي تَعْرِيف المضايف الآخر لما كَانَ مقدما عَلَيْهِ فَلَا يكون مُعَرفا لَهُ. فَافْهَم واحفظ فَإِنَّهُ نَافِع فِي حَوَاشِي السَّيِّد السَّنَد قدس سره على شرح الشمسية فِي بحث الجزئي الإضافي. أَولا. فهما: