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