SETL is a high-level programming language developed in the late 1960s at New York University, based on the mathematical theory of sets. It supports aggregate data types such as sets and tuples, and includes operations like union and intersection, as well as constructs for quantified boolean expressions. Influencing languages like Ada and Python, SETL has several variants including SETL2 and ISETL.