unique immediate predecessor

[ریاضیات] مقدم بی واسطه ی یکتا