Definition Of The Complement Of A Set

[Bashyboy]

Hello, my book defines the complement of a set like so: {x ∈ U | x /∈ A}

To me, it seems like the definition should be $(x| x \in U \wedge x \notin A)$

Which is more proper?

 

[HallsofIvy]

They both say exactly the same thing.

 

[Bashyboy]

Okay, thank you.