a characterisation of ordav in terms of FILTER

probably useless, but maybe interesting