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].