SET Language. A very high level language based on sets, designed by Jack Schwartz at the Courant Institute in the early 1970s. It was possibly the first use of {list comprehension} notation. Data types include sets (unORdered collections), tuples (ORdered collections) and maps (collections of ORdered pairs). Expressions may include quantifiers (' fOR each' and ' exists' ). The first Ada translatOR was written in SETL. See also ISETL, ProSet, SETL2. ["Programming With Sets - An Introduction to SETL", Jacob T. Schwartz et al, Springer 1986].