pomset

As usual, pomsets can be made setlike by requiring that the elements of the sets X should be chosen from a given set.