السلف من النوع الثاني لعلاقة ما (ancestral of the second kind of a relation, the)

السلف من النوع الثاني لعلاقة ما يقال لعلاقة $ع^*$ فوق فئة عناصرها السَّلَف من النوع الثاني لعلاقة ما $ع$ فوق س ، ص إذا كانت $س \, ع^* \, ص$ تؤدِّي إلى وجود عدد صحيح غير سالب $م$ بحيث تكون هناك سلسلة (قد تكون من طول صفر) من العناصر يربط بينها توالي تطبيقات للعلاقة $ع$ ابتداءً من $س$ وانتهاءً بـ $ص$، وحيث إن $س \, ع^* \, س$ تعني أن $س = ص$ عندما يكون عدد الخطوات صفراً.