The top documents tagged [codomain of f]