Пусть T -- некоторый тип. Существует много способов хранить (конечные) множества элементов типа T; выбор между ними определяется типом T и набором требуемых операций.
