Как показать "счет" заданного отношения?

Question

У меня есть этот код:

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

Как вы видете, taking это имя для отношения, где s карты для m, Выше отношение показывает процедуру добавления (объединение), где я добавляю новый маплет к этому отношению.

Тем не менее, мне нужно получить количество s доступно в этом отношении. Как я могу получить это? Ниже то, что я сделал

#taking = numberOfStudents

Но я не уверен в этом.

Answer 1

Если вы хотите знать, сколько разных студентов принимают m (без разницы m является)

Это просто: нужно получить все возможное s от taking отношение, а затем измерить мощность результирующего множества.

Просто так:

numberOfStudents = #(\dom taking)

куда \dom Это функция (отношения) домен даст вам всех студентов в отношениях.