The top documents tagged [proper measurable subset]