## Sunday, December 28, 2008

### 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.

Subscribe to:
Post Comments (Atom)

## No comments:

Post a Comment