. . . . . . . "disjoint union"@en . . . . . . . . . . . . . . . . . .