Definition:Immediate Predecessor Element/Also defined as

Immediate Predecessor Element: Also defined as
Some sources define an immediate predecessor element only in the context of a total ordering.

However, the concept remains valid in the context of a general ordering.