"Mathematics" . . . "named entity 'lower set'" . . . . . . .