Eljárás:
    I := 1
    Ciklus amíg I <= N és A(I) nem T tulajdonságú
        I := I + 1
    Ciklus vége
    VAN := I <= N
Eljárás vége