If XXX is a Set and <<< is an Ordering on XXX, and if a<ba<ba<b, we use the notation (a,b)(a,b)(a,b) to denote the set
it is called an Open interval in XXX. If this set is empty, we call bbb the Immediate successor of aaa