Sean <math> A\ \mathrm{y}\ B </math> conjuntos. Diremos que <math> AB </math> '''es subconjunto de''' <math> BA </math>, lo que denotaremos por <math> AB\subseteq BA </math>, si y solo si '''todos los elementos del conjunto <math> AB </math> perteneces al conjunto <math> BA </math>'''.
'''Ejemplo'''
Consideremos los conjuntos <math> AB=\{1,2,3\} </math> y <math> BA=\{1,2,3,4,5\} </math>.
Podemos ver que <math> AB\subseteq BA </math>, pues los tres elementos del conjunto <math> AB </math> están en el conjunto <math> BA </math>.
También, podemos ver que el conjunto <math> BA </math> no es subconjunto del conjunto <math> AB </math>, lo que denotamos por <math> AB\not\subseteq BA </math>, pues hay dos elementos, 4 y 5, del conjunto <math> BA </math> que no están en el conjunto <math> AB </math>.
Si el conjunto <math> B </math> es subconjunto del conjunto <math> A </math>, gráficamente se ve de la siguiente forma
