SETL（SET语言）是一种基于数学集论的非常高阶编程语言。它最初由（Jack）Jacob T. Schwartz于二十世纪六十年代末在纽约大学科朗数学研究所开发。
设计.SETL提供两种基本的聚合数据类型：无序的集合和序列（后者也称为元组）。集合和元组的元素可以是任意类型，包括集合和元组本身。映射是作为有序对（长度为2的元组）的集合提供的，并且可以具有任意的域和范围类型。SETL中的原始操作包括集合成员资格、联合、交集和幂集构造等。 SETL提供使用一阶谓词逻辑的全称和存在量