—znaleziono element i nakazuje go i. (Found and T(l.)=Key)
(not Found and not(exists
Na podstawie specyfikacji można wskazać dwie oczywiste klasy rónnoważ-
(Found=true).