Assertions to check properties of sets
