完全な開示、これは大学のコース用です。私は完全な答えを期待していませんが、助けていただければ幸いです。
Z 表記を使用して Item エンティティをモデル化する必要があります。これは説明です：
アイテム: すべてのアイテムには、アイテムを一意に説明するために使用できる名前と一意の ID があります。アイテムには、価格 (正のフロート) とカテゴリもあります。
要件の一部は、量指定子なしでこれらのエンティティをモデル化することです。
これは私が最終的に得たものですが、それが正しいかどうかはわかりません:
名前は文字列の組み合わせであり、ID は正の整数とその名前のタプルであり、価格とカテゴリの両方が合計関数でマッピングされるという考えです。
最初の述語は正の価格を確保するためのもので、2 つ目は ID の一意性を確保するためのものです。つまり、ドメインをまだ割り当てられていないすべての整数に減らします。これが正しいとは思いませんが。