Un conjunto es una colección bien definida de objetos, entendiendo que dichos objetos pueden ser cualquier cosa: números, personas, letras, otros conjuntos, etc.

Los conjuntos se denotan habitualmente por letras mayúsculas. Los objetos que componen el conjunto se llaman elementos o miembros. Se dice que «pertenecen» al conjunto y se denota mediante el símbolo ∈ la expresión a ∈ A se lee entonces como «a está en A», «a pertenece a A», «A contiene a a», etc. Para la noción contraria se usa el símbolo ∉.

El conjunto que no contiene ningún elemento se llama el conjunto vacío y se denota por ∅ o simplemente {}.

Un conjunto universal es un conjunto formado por todos los objetos de estudio en un contexto dado. Por ejemplo, en aritmética los objetos de estudio son los números naturales, por lo que el conjunto universal para este caso puede ser el conjunto de los números naturales N. Al conjunto universal también se le denomina conjunto referencial, universo del discurso o clase universal, según el contexto, y se denota habitualmente por U o V.

La elección de un conjunto universal se hace por conveniencia, para establecer una distinción clara entre los elementos en el conjunto universal y los demás conjuntos formados por dichos elementos.

El complemento de un conjunto A es el conjunto que contiene todos los elementos pertenecientes a un conjunto universal U pero que no pertenecen a A. Su notación es A^∁ .