2
$\begingroup$

My understanding: The set operations (such as union and intersection) are operations and so functions with a domain and codomain. A function's domain and codomain are always sets. The input to a set operation is either a set or a tuple of sets.

My thoughts: My thoughts about what the domain of a set operation would be (based on the above understanding) has brought me to "the set of all sets". This is clearly wrong.

My Question: What is in fact the domain of a set operation? Am I to instead understand the domain of such an operation to be a class? This would cause me to revise my current understanding of a function to allow the domain and codomain to be classes.

Thanks.

$\endgroup$
  • $\begingroup$ Operations can be defined on proper classes. $\endgroup$ – Dan Rust Sep 6 '16 at 23:31
  • $\begingroup$ Let me make sure I understand you: the definition of "function" can be extended (beyond the usual definition I see in which a function's domain and codomain are always sets) by allowing a function's domain and codomain to be sets or proper classes? $\endgroup$ – Josh Flick Sep 6 '16 at 23:54
  • $\begingroup$ " "the set of all sets". This is clearly wrong." We have a loophole. Instead of calling it a "set" of all sets, call it a "class" of all sets. Frustratingly it really is that simple. we're only forbidden to define sets in terms of sets to avoid paradoxes. We use classes to talk of collections of sets The domain is the class of all ordered pairs of sets. (Note: for an binary operator to be viewed as a function it takes pairs of values as inputs and the domain is the cross product of sets or classes.) $\endgroup$ – fleablood Sep 7 '16 at 0:17
  • $\begingroup$ You understand me, @fleablood. I find the notion of classes very frustrating indeed! Admittedly, however, this finding is based on a rather cursory glance. I will be studying them in more detail after this. $\endgroup$ – Josh Flick Sep 7 '16 at 0:25
  • $\begingroup$ "the set of all sets" is verbotten for purposes of definition only. We don't want to be able to define a set so that it will have itself as a member. But we definitely want to be able to talk about sets of sets (just not sets of sets with themselves as members or subsets). As a binary operation set union and intersection the domain is, naturally the set of all sets and ... oops. Except it's a perfectly legitimate concept It's only a problem when we define things by their inclusion. So "collection of sets" seems okay. It IS the answer, after all. $\endgroup$ – fleablood Sep 7 '16 at 1:32
1
$\begingroup$

In most contexts short of serious mathematical logic the set operations are on subsets of a particular given set $S$ - the universe in that particular context. Then the domain of the set operations is the (well defined) power set of $S$ - the set of all its subsets.

$\endgroup$
  • $\begingroup$ This is a satisfactory answer. +1 (Just an interesting aside: since (1) I am ignorant of serious mathematical logic, (2) a function's domain is part of what uniquely determines that function, and (3) "the" set union operation's domain varies by context, I can't talk of THE set union operation--each context having a different universe results in a different domain for "the" operation and therefore a different operation! Wow!) $\endgroup$ – Josh Flick Sep 7 '16 at 0:12

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.