Talk:Disjoint union

From Wikipedia, the free encyclopedia

WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
Mathematics rating: Stub Class Mid Priority  Field: Foundations, logic, and set theory


[edit] I don't know what a disjoint union of sets is.

According to this Open University article, "In general, the disjoint union of sets X and Y ... is the set consisting of all items that are either from X or from Y [but not both]", so it's an exclusive-or operation on sets?

Kfor (talk) 20:02, 1 February 2008 (UTC)

It's not the same as an exclusive-or: if X and Y are sets with cardinality a and b repsectively, then their disoint union always has cardinality a+b. The OU article you refer to has two sets that have no elements in common (empty intersection - so they are disjoint sets), and the disjoint union of two sets is the ordinary union if they are already disjoint. The difficulty arises when the two sets are not disjoint - so to form their disjoint union some trick must be played. There are several ways to describe this, and the article does one of those. But I do think it could be clearer. Simplifix (talk) 23:10, 13 February 2008 (UTC)