Tou conxuntu  ye un subconxuntu de sigo mesmu, yá que siempres se cumple que «cada elementu de  ye de la mesma un elementu de ». Ye habitual establecer una distinción más fina por aciu el conceutu de subconxuntu propiu:  ye un subconxuntu propiu de  si ye un subconxuntu de  pero nun ye igual a . Se denota como , esto ye:  pero  (y equivalentemente, pa un superconjunto propiu, ).