Recent content by necro_ignis

[(a' u b') n a'] can't equal a. Doesn't it equal a'?

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...