Diremos que A es un subconjunto propio de B, que escribiremos A ⊂ B si y solo si A esta incluido en B, y A es diferente de B, o sea si para toda x que pertenece a A se tiene que x también pertenece a B, y existen elementos y que sólo pertenecen a B.