Totally ordered sets with special operations for precursor or postcursor or max or min

30 Views Asked by At

Is there a name for a totally ordered set with an operation to get the precursor (or postcursor) of a given element in the set?

Is there a name for a totally ordered set with an operation to get the maximum (or minimum) element in the set?

Thanks.