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