successor(j; S): special case of se

successor(j; S): special case of select(j +1; S),
but select(j; S) is already known.

ผลลัพธ์ (ไทย) 2:

ทายาท (ญ; S): กรณีพิเศษของการเลือก (ญ 1; S)
แต่เลือก (ญ; S) เป็นที่รู้จักกันอยู่แล้ว

ผลลัพธ์ (ไทย) 3:

ผู้สืบทอด ( J ; S ) : ในกรณีพิเศษของเลือก ( J 1 ; s )
แต่เลือก ( J ; s ) เป็นที่รู้จักกันอยู่แล้ว