closed interval (order theory)