1. У математиці, зокрема в теорії множин — множина, яка містить усі елементи іншої множини (підмножини) та, можливо, додаткові елементи; надмножина.
2. У програмуванні та інформатиці — тип даних або структура, що розширює функціональність іншого типу, зберігаючи всі його властивості та додаючи нові.