. . "has subset" . . . .