我有以下代码：

如您所见，taking是s映射到m的关系的名称。 上面的关系显示了添加过程(联合)，其中我正在向该关系添加新的maptlet。

但是，我需要获得此关系中可用的s数量。 我怎么才能得到它？ 以下是我所做的

但是我不

如果您想知道有多少不同的学生正在学习m(无论m是什么)

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

就像这样：

其中\\dom是function(relation)域，它将为您提供该关系中的所有学生。