Re: Projection on Set

[Dominik Hansen <do.han...@xxxxxxxxxxxxxx>]

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