1
是这两种等价的：“设置”默认多重性？
r: A -> B
r: A set -> set B
也就是说，是set默认的多样性？
如果是的话，那么我会在Software Abstractions一书中对箭头运算符的定义进行调整。该书第55页说：
箭头产品（或只是产品）P->两个关系p和q q是 你采取一个元组的每个组合由p和 元组获得的关系从q和连接它们。
我理解这个定义为是指P-的只有有效的实例> q是一个有由对与自Q元组的元组的每一个可能的组合。但这不对（我认为）。包含p和q之间映射的任何实例都是有效的。例如，第56页是这样的例子，
Name = {(N0), (N1)}
Addr = {(D0), (D1)}
书上说这是一个名称 - 有效的关系>地址
{(N0, D0), (N0, D1), (N1, D0), (N1, D1)}
但是这不是唯一的有效关系，对不对？例如，这是一种有效的关系：
{(N0, D0), (N1, D1)}
这是正确的吗？