Such that

Redirect to:

• Set-builder notation#Sets defined by a predicate