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