Допустим есть некая последовательность неких элементов. В ходе некоторого вычисления, элементы

Question

Допустим есть некая последовательность неких элементов. В ходе некоторого вычисления, элементы

из данной последовательности отбираются в некую производную последовательность.

Также имеется некий предикат, говорящий подходит ли текущий элемент для производной последовательности.

Но допустим предикат говорит что подходят любые элементы.

Как называется штука, говорящая о том, до каких пор нужно/можно отбирать элементы по предикату?

Я было подумал о квантификаторе, как в регулярках, но штука может говорить не о том что нужно отобрать столько-то элементов. Она может говорить что то вроде: отбирать элементы пока не встретиться такой-то элемент.