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>