Hello all,

I've come up with an alternative set comprehension for the former.

$\displaystyle \{\forall x : \mathbb{N}\ |\ x\ /\ 2 = 0 \lor x\ /\ 3 = 0 \lor x\ /\ 5 = 0 \}\\\longleftrightarrow\\\{\ \forall x : \mathbb{N}\bullet\forall y :\{2,3,5\}\ |\ x\ /\ y\ =\ 0 \bullet\ x\ \}$

Is my expression right?

Thanks very much guys!

ssharish