En matemáticas, un conxunto A é un subconxunto dun conxunto B se todos os elementos de A son tamén elementos de B; B é daquela un superconxunto de A. É posíbel que A e B sexan iguais; se son desiguais, entón A é un subconxunto propio de B. A relación dun conxunto sendo un subconxunto doutro chámase inclusión. A é un subconxunto de B tamén se pode expresar como B inclúe (ou contén) A ou A está incluído (ou contido) en B. Un k-subconxunto é un subconxunto con k elementos.
A relación de subconxuntos define unha orde parcial en conxuntos. De feito, os subconxuntos dun conxunto dado forman unha álxebra de Boole baixo a relación de subconxuntos, coas operacións de intersección e unión, e a propia relación do subconxunto é a relación de inclusión booleana.