У [[математика|математици]], а посебно у [[теорија скупова|теорији скупова]], [[скуп]] ''-{A}-'' је '''подскуп''' скупа ''-{B}-'' ако се ''-{A}-'' ''садржи'' унутар ''-{B}-''. Притом ''-{A}-'' може бити једнак ''-{B}-''.
\ççĊĊĊḂḂḂໜຼຼ
== Дефиниције ==
Ако су ''-{A}-'' и ''-{B}-'' скупови, и сваки [[елемент (математика)|елемент]] из ''-{A}-'' такође елемент из ''-{B}-'', онда:
:* ''-{A}-'' је '''подскуп''' скупа ''-{B}-'', у ознаци <math>A \subseteq B</math>,
:или еквивалентно
:* ''-{B}-'' је '''надскуп''' скупа ''-{A}-'', у ознаци <math>B \supseteq A</math>.
Ако је ''-{A}-'' подскуп од ''-{B}-'', али ''-{A}-'' није једнак ''-{B}-'' (то јест, постоји барем један елемент у ''-{B}-'' који не постоји у ''-{A}-''), онда
:* ''-{A}-'' је такође '''прави''' подскуп од ''-{B}-''; ово се записује као <math>A\subsetneq B</math>.
:или еквивалентно
:* ''-{B}-'' је прави надскуп од ''-{A}-''; ово се записује као <math>B\supsetneq A</math>.
За сваки скуп ''-{S}-'', релација инклузије ⊆ је [[парцијално уређење]] на скупу 2<sup>''-{S}-''</sup> свих подскупова од ''-{S}-'' ([[партитивни скуп]] од ''-{S}-'').
