The top documents tagged [b b adefinition of subsetprove]