我正在学习逻辑和函数式编程课程（使用 SML 编程），作为我们第一次作业的一部分，我提出了以下问题
“......您需要定义一个（抽象）类型，称为'a set Documentation：正式描述有限集将如何表示为列表，说明表示不变的属性......”
谁能解释一下“正式描述”是什么意思？
检查您的教科书和课堂笔记，了解“正式描述”如何用于其他类型，然后按照该示例进行操作。
数学中的正式描述通常意味着用数学表达式界定事物，并在必要时使用标准符号和术语。在逻辑上，您通常会使用impliesandtherefore而不是更通俗的术语。维基百科有一篇文章