I.P42 — Order Bound

Order Bound: for all A in Set(alpha_n), A <= alpha_n in the internal order on tau-Idx. alpha_n is the maximum of Set(alpha_n). Membership 'looks downward' from the representing element.