Immediate successor

cosmos 25th September 2017 at 5:09pm

If XX is a Set and << is an Ordering on XX, and if a<ba<b, we use the notation (a,b)(a,b) to denote the set

{xa<x<b}\{x |a<x<b\};

it is called an Open interval in XX. If this set is empty, we call bb the Immediate successor of aa