В математиці підмножини наявним набором являє собою набір речей, що належать до оригінального набору.