Talk:Disjoint union
From Wikipedia, the free encyclopedia
[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)