Es habitual establecer una distinción más fina mediante el concepto de subconjunto propio: es un subconjunto propio de si es un subconjunto de pero no es igual a .