如何证明空列表的子序列为空？

空列表的子序列为空的证明可以通过以下方式进行：

1. 子序列的定义：子序列是从原序列中选择出来的元素，它们的相对顺序保持不变。空列表是没有任何元素的列表，因此它的子序列也应该是空的。
2. 空列表的定义：空列表是一个没有任何元素的列表，可以用[]表示。
3. 子序列为空的证明：假设存在一个空列表的子序列不为空，即存在一个非空的子序列。根据子序列的定义，子序列是从原序列中选择出来的元素，因此非空的子序列必然包含原序列中的至少一个元素。然而，空列表没有任何元素，因此不存在非空的子序列。这与假设矛盾，因此空列表的子序列必然为空。

综上所述，空列表的子序列为空。