完全公开，这是针对大学课程的。我不希望直接得到答案，但我们将不胜感激。
我需要使用 Z 表示法对 Item 实体进行建模。这是描述：
项目：每个项目都有一个名称和一个唯一的 ID，可用于唯一地描述该项目。一个项目也有一个价格（正浮动）和一个类别。
部分要求是在没有量词的情况下对这些实体进行建模。
这是我最终得到的，但我不确定它是否正确：
想法是名称是字符串的某种组合，ID 是正整数和所述名称的元组，价格和类别都映射到总函数。
第一个谓词是确保价格为正，第二个谓词是确保 ID 的唯一性，即将域减少到所有尚未分配的整数。不过，我不认为这是正确的。