"has subset" . . . . . . . . . .