11. Other authors allow disjoint unions of topological manifolds with differing dimensions to be called manifolds. 12. Repeat this for disjoint unions of families of sets and sums of families of cardinals. 13. Then is the disjoint union of the. 14. He proved that they are closed under arbitrary products and Alexandroff compactifications of disjoint unions . 15. This also means that the disjoint union is the categorical dual of the Cartesian product construction. 16. More specifically | " K " | is the quotient space of the disjoint union 17. Some systems also support subtyping of labeled disjoint union types ( such as algebraic data types ). 18. The union of two prefix orders is the disjoint union , as it is with partial orders. 19. In the language of category theory, the disjoint union is the coproduct in the category of sets. 20. The point is that a disjoint union of groups is not a group but it is a groupoid.
