Can anyone tell me how to output a binary relation using a function in Alloy? For example, the student is linked with the teacher, and the student is also linked with the course. How can i take the student as input, then output the binary relation between the teacher and the course?
Something like this?
There are no special rules for returning a binary relation from a function. I assume your question was more about the relational product operator (