{a} is a type of set containing one element.