Immediate predecessor

If a and b are elements in a set A and R is a partial ordering on that set, and a is not equal to b, then a is an immediate predecessor of b if a is reflexive on b and there does not exist c in A such that a is not equal to c and b is not equal to c and a is reflexive on c and c is reflexive on b.