这两个是等价的：
r: A -> B
r: A set -> set B
那就是 set 的默认多重性？
如果是，那么我将在Software Abstractions一书中对箭头操作符的定义进行狡辩 . 这本书在第55页说：
两个关系p和q的箭头乘积（或只是乘积）p-> q是通过从p中取出元组和q中的元组的每个组合并将它们连接起来得到的关系 .
我将该定义解释为p-> q的唯一有效实例是具有p的元组和q的元组的所有可能组合的实例 . 但那不对（我想） . 包含p和q之间映射的任何实例都是有效的 . 例如，第56页就是这个例子，
Name = {(N0), (N1)}
Addr = {(D0), (D1)}
书中说这是Name-> Addr的有效关系
{(N0, D0), (N0, D1), (N1, D0), (N1, D1)}
但这不是唯一有效的关系，对吗？例如，这是一个有效的关系：
{(N0, D0), (N1, D1)}
是对的吗？
1 回答
声明r：A-> B表示r是A-> B的子集 . 表达式A-> B只有一个值，它是A和B的叉积 . 声明导致r的一组可能值，这将包括您引用的书中给出的示例和示例你问的问题 .