S is a set of nodes. I want to express that i belongs to S while j does not belong to it. How to express it using CPELX?
Let me explain it more explicitly. V is a set of nodes. S represents an arbitrary set of nodes, and S belongs to V. How to express it when i is in S and j is not S but in V?