感觉有这样一个数据结构，它在理论上可能存在吗？
不保证 $\max(x)\le\min(y)$。