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>