Wenn wir die Menge haben: A = {(a, 1, q), (b, 2, w), (c, 3, e), (d, 4, r)}, dann wird mit A↓2={1,2,3,4} das zweite Element von jedem Tupel in der Menge "herausgefiltert", also sodass nur alle Elemente, die diesen Index in den Tupeln hatten, in der Ergebnismenge vorliegen.