[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Function sets with distinct mappings

I am trying to make a set of functions of mappings of sender->receiver: 

Users == {"jack", "jill", "cindy", "bobby"}

UserSenderSet == [Users -> Users]

This almost does what I want, but we have many functions where sender->receiver are the same person, which is not what I want:

[jack |-> "jack", jill |-> "jack", cindy |-> "jack", bobby |-> "jack"]

How do I go about filtering down to set of functions that don't contain mappings of to themselves?

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/c23c1b27-8fd0-40c6-999f-efe151cce811n%40googlegroups.com.