Eljárás: J := 0 Ciklus I = 1-től N-ig Ha A(I) T tulajdonságú, akkor J := J + 1 B(J) := I Ha vége Ciklus vége Eljárás vége.