Buenas
La notación que usamos en este curso de es de subconjunto pero no incluido estrictamente
Como bien dices una posibilidad es que pero en ese caso .
Repito el símbolo no indica que los conjuntos no puedan ser iguales. es que cada elemento de pertenece a pero los conjuntos e podrían ser iguales.
Saludos