如何顯示集合關係的「數量」？

Question

請看看下面的

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

正如你所看到的，taking是一個關係，其中s映射到m的名稱。上面的關係顯示了添加過程（聯合），我在這個關係中添加了一個新的maptlet。

但是，我需要得到此關係中可用的s的編號。我怎麼才能得到它？下面是我做了什麼

#taking = numberOfStudents 

但我不知道這件事。請幫助

Answer 1

如果你想知道有多少不同的學生正在m（無論m是）

這是很容易：你需要從taking關係得到所有可能的s，然後測量結果集的基數。

就像這樣：

numberOfStudents = #(\dom taking) 

哪裏\dom是函數（關係）域會給你關係中的所有學生。