السلف من النوع الأول لعلاقة ما (ancestral of the first kind of a relation, the)

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