Un conjunto es una colección de objetos que comparten una propiedad común. Un conjunto puede determinarse de forma extensiva, enumerando todos sus elementos, o de forma comprensiva, describiendo la propiedad que comparten sus elementos. Los elementos de un conjunto pueden pertenecer o no pertenecer a ese conjunto. Un conjunto A es subconjunto de un conjunto B si todos los elementos de A también están en B. Los conjuntos se pueden clasificar como unitarios, vacíos, finitos, infinitos o universales.