【发布时间】：2015-02-18 16:42:43
【问题描述】：
不确定这是否属于 SO 范围，但是：
使用 VDM-SL，我一直在寻找描述 ℕ 的单个有限子集的“最佳”方式。在我的旅行中，我发现了人们传达这一点的几种方式，但我想知道哪种方式最被接受。
我最初认为 F(ℕ) 可以，但我相信这是 ℕ 的有限子集的集合，而不是单个子集。
说“让 S 是有限的：S ⊂ ℕ”就足够了吗？
或者这样的符号是否存在？
【问题讨论】：
-
我希望使用 VDM-SL 进行标记，但可以理解的是，由于缺乏代表我不能。