Set Theoryhard
0:00.0

Which notation represents 'the set of all xx such that xx satisfies P(x)P(x)'?