FilterIndex provides a Every for a structure S with all its foci A whose index I satisfies a predicate.
source of Every
index that uniquely identifies every focus of the Every
focus that is supposed to be unique for a given pair S and I
Filter the foci A of a Every with the predicate p.