Una colección desordenada de valores donde cada valor se produce máximo una vez. Un grupo de elementos con tres propiedades: (1) todos los elementos pertenecen a un universo (2) O cada elemento es miembro de un grupo o no lo son(3) los elementos están desordenados. Definición formal: como un tipo de dato abstracto, un sistema tiene una sola función, isIn (v, S), que indica si un elemento es un miembro del conjunto o no y dos funciones de modificador de consulta, añadir (v, S) y eliminar (v, S). Éstos pueden definirse con una semántica axiomática tal como se define aquí: new() devuelve un conjunto

isIn(v, new()) = false

isIn(v, add(v, S)) = true

isIn(v, add(u, S)) = isIn(v , S) if v ≠ u

remove(v, new()) = new()

remove(v, add(v, S)) = remove(v, S)

remove(v, add(u, S)) = add(u, remove(v, S)) if v ≠ u

Donde "S" es un set, y "u" y "v" son elementos.