(Set Theory as a Language - Set Language). SETL es un lenguaje de programación de muy alto nivel que está basado en la teoría matemática de los conjuntos. Fue desarrollado a finales de los 60 por el matemático J. Schwartz en la NYU Courant Institute of Mathematical Sciences.

SETL es un lenguaje interpretado con una sintaxis que se parece a C, y en muchos casos similar a Perl.

SETL provee dos tipos básicos de agregado de datos: conjuntos sin ordenar y secuencias (también llamado tuplas). Los elementos de conjuntos y tuplas puede ser de cualquier tipo, incluyendo también conjuntos y tuplas. Las operaciones primitivas de SETL incluyen membresía, unión, intersección, entre otras.

SETL también provee multiples iteradores para producir una variedad de bluces sobre sus estructuras de agregados de datos.

El predecesor del lenguaje Python, el ABC, fue inspirado en SETL.