After having done further research, it looks like a set of key-valued pairs might be (might be, being this is what I have thought up myself) represented as the set of all bijections as denoted X\leftrightarrowY.
So would I be right in saying (this is so sketchy and grasping at straws)
If I...
Hi :smile:
I'm just trying to write a set definition for a set containing a list of paired values. Where each paired value is a single member of that set.
For example the set of all married couples Married = {(bob,jane),(fred,susan),(mike,sarah)} will have been built from the two sets...
Hi all,
I'm trying to express a given requirement in a software system. I'm used to UML and UseCase specification, but I thought I would attempt to learn Zed Specification (which is based off logic, set theory., etc... so those topics too!)
Given two sets of data
e.g. in Zed notation...