如何显示一组关系的“计数”？

Question

我有这段代码：

taking’ = taking  ∪  {s? → m?} 

如您所见，taking是s映射到m的关系的名称。上面的关系显示了添加过程（union），我在这个关系中添加了一个新的maptlet。

但是，我需要在此关系中获得s的数量。我怎么才能得到它？以下是我的工作

#taking = numberOfStudents

但我对此并不确定。

Answer 1

如果你想知道有多少学生正在学习m（无论m是什么）

这很简单：您需要从s关系中获取所有可能的taking，然后衡量结果集的基数。

就像那样：

numberOfStudents = #(\dom taking)

\dom是函数（关系）域，将为您提供关系中的所有学生。