“良定义”的状态

我觉得“良定义”的状态需要具备：

• 完备性
• 唯一性

Case by case

如何表示一个空区间？

有一些 string，那么可以用 [s1, s2) 来圈出一些 string。因为是左闭右开区间，所以空集难以表示。这里只能通过

如何表示“和上次一样”

Option<Vec> 还是 Vec？

Vec 是 Option 的上位类型。