为什么字典序第 $k$ 小的子集的补集一定是字典序第 $k$ 大的？

我能感性理解这个结论，但是怎么严谨证明？

四篇题解没有一篇证的，如果你认为很显然请喷我。