Set

  • <Set> [not] to be empty
  • <Set> [not] to contain <any+>
  • <Set> to have an item [exhaustively] satisfying <assertion>
  • <Set> to have an item [exhaustively] satisfying <any>
  • <Set> to have items [exhaustively] satisfying <assertion>
  • <Set> to have items [exhaustively] satisfying <any>
  • <Set> [not] to have size <number>
  • <Set> to [exhaustively] satisfy <Set>