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