Un conjunto es una colección bien definida de objetos llamados elementos. Bien definida significa que para cualquier objeto siempre puedes decidir con total claridad si está dentro o fuera del conjunto, sin ambigüedades ni dudas.

Para trabajar con conjuntos se usa una notación precisa: el conjunto se nombra con letra mayúscula, sus elementos con minúsculas y se escriben entre llaves separados por comas, como en A = {1, 2, 3, 4}. La relación entre un elemento y un conjunto se expresa con los símbolos de pertenencia: ∈ si está dentro y ∉ si está fuera.

Todo conjunto se puede determinar de dos formas. Por extensión se listan todos los elementos uno por uno, ideal cuando son pocos. Por comprensión se escribe una regla o propiedad con el símbolo | que se lee tal que, ideal cuando son muchos o infinitos. Además, en un conjunto el orden no importa y los elementos no se repiten.