La definición de conjunto es uno de conceptos que mejor caracterizan el pensamiento matemático, otros conceptos como punto, número, función también son buenos ejemplos de las ideas matemáticas.

Para establecer la defenición de conjunto un maestro le pregunta a sus alumnos que digan lo que entienden por conjunto, el primero dice: un grupo, el segundo: una unión, el tercero: una reunión, otro más: una colección, y así sucesivamente cada uno va dando una idea similar y al final la idea de conjumnto debe entenderse por sí misma.

Un conjunto es una colección arbitraria de objetos. Los objetos de un conjunto se llaman elementos y se acepta que hay unarelación de pertenencia entre elementos y conjuntos. También se acepta un conjunto universo previamente definido donde se encuentran todos los elementos necesarios para un estudio determinado.

La relación de pertenencia ∈; cumple la condición de que dado un elemento x del universo y un conjunto cualquiera A, x pretenece a A es una proposición lógica o sea que siempre es veradera o falsa, cuando es verdadera se representa: x ∈ A, cuando es falsa se utiliza x ∉ A.