predecessor set

[ریاضیات] مجموعه مقدم