Closed interval (order theory)