types of sets in theory - Search