Let's say I have defined $X$ = users type x and $Y$ = users type y, and I would like to define $u$ is element-of $X$ and also element of $Y$, is there a simpler way to express, or the expression below is in the simplest form?
$u =\{ e | e \in X \wedge e \in Y \} $
Thank you.
Regards, Andy.