Множество элементов, каждый из которых принадлежит другому, более крупному множеству