En el ámbito de las matemáticas, un conjunto es una colección de objetos o identidades (los elementos) designados por la misma palabra o la misma expresión. Conjunto de enteros naturales (0, + 1, + 2...). Subconjunto propio e impropios En algunos textos de redacción antigua diferencian entre los subconjuntos: los subconjuntos, los subconjuntos propios y los impropios, esta notación no es aconsejable al ser obsoleta, dado que las estructuras algebraicas de orden y en álgebra de conjuntos, parten de la propiedad reflexiva, por eso un conjunto cualesquiera se considera un subconjunto de si mismo en todos los casos,[1] y por ello se define: Dados dos conjuntos A y B, se dice que B es un subconjunto de A, si todo elemento de B pertenece a A, según la siguiente notación: B ⊆ A ⟶ ∀ x ∈ B : x ∈ A ...