# [sc34wg3] Tau: The role in operator

**Robert Barta
**
sc34wg3@isotopicmaps.org

*Mon, 2 Aug 2004 06:16:28 +1000*

On Sun, Aug 01, 2004 at 09:09:40AM -0400, Lars Marius Garshol wrote:
>*
*>* * Robert Barta
*>* |
*>* | This is clearly a typo. It should read
*>* |
*>* | p -> r = {a element-of m | exists p : <r, p> element-of a}
*>* |
*>* | It basically delivers ALL assertions in the map where p is a player
*>* | of the role r.
*>*
*>* I was a bit too quick in my first reply. In
*>*
*>* p -> r = {a element-of m | exists p : <r, p> element-of a}
*>*
*>* is the p before the -> the same as the p in the set? If so, why is
*>* there an exists there? If you did
*>*
*>* p -> r = {a element-of m | <r, p> element-of a}
*>*
*>* I would understand.
*
That it is. I just tried to copy your notation and left that exists p
by mistake.
\rho