Set abstraction

Redirect to:

  • Set-builder notation