The top documents tagged [defined closed operators]