множина, кожен елемент якої є також елементом іншої множини (яка в цьому випадку зветься надмножиною)