合和元组本身。映射是作为有序对（长度为2的元组）的集合提供的，并且可以具有任意的域和范围类型。SETL中的原始操作包括集合成员资格、联合、交集和幂集构造等。 SETL提供使用一阶谓词逻辑的全称和存在量词构造的量化布尔表达式。 SETL提供了几个迭代器，可以在聚合数据结构上生成各种循环。
例子.打印从2到N的所有素数：这个表示法类似于列表推导式。阶乘过程的定义：阶乘(n > 0)的更常用的SETL表达：
用途.在二十世纪七十年代，SETL被