Es decir, un conjunto es un tipo de objeto abstracto (sin mayor descripción) que se puede relacionar o no con otros conjuntos mediante la relación de pertenencia.