L'opération de test d'appartenance d'un élément à un ensemble prend deux paramètres, l'ensemble et une clé. Elle renvoie deux valeurs : nil ou l'élément en question, ainsi que nil ou t selon que l'élément existe ou pas. Ceci est nécessaire pour distinguer le cas où l'élément nil existe dans le domaine.