schreibweise für mengen

[mengensymol n00b]

hallo,
hab in einem skript gelesen:
A = { x $\in$ G: E(x) }

meine frage ist:
bedeutet dies das selbe wie
A = { x | x $\in$ G und E(x) }
?
Gruß,
m.n.

[Bashar]

Ja, auch dasselbe wie $$A={ x\in G | E(x) }$$