condition predicate: predykat warunkowy

Wyrażenie, od którego prawdziwości zależy czy operacja zostanie wykonana, czy nie. Np. operacja get() struktury danych może zostać wykonana tylko wówczas, gdy struktura ta nie jest pusta, a więc predykatem warunkowym w tym przypadku jest „struktura nie jest pusta”.