"3"^^ . . . . . . . "non-empty subset"@en . .