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

Re: Projection on Set



Hi,

you can use the Range operator defined in the following module:

----------------------------- MODULE Test -----------------------------

Range(R) == {x[2] : x \in R}

ASSUME Range({<<1, 2>>, <<2, 2>>, <<2, 3>>}) = {2,3}

==========================================

Regards,

Dominik