# operations on sets

#### bergausstein

##### Active member
just want to know if my answers are correct.

1. for any set A, a set of subsets of A is said to be exhaustive if the union of these subsets is A, and is said to be disjoint if no two of the subsets have any element in common. if $\displaystyle A\,=\,\{a,\,b,\,\,c\},\,$ tell whether the following set of subsets is exhaustive;disjoint.

a. $\{a\},\,\{b\}$ - disjoint
b. $\{a\},\,\{b,c\}$ - exhaustive and disjoint
c. $\{a,b\},\,\{b,c\}$ - exhaustive
d. $\{a\},\,\{a,b\}$ - neither
e. $\{a\},\,\{b\},\,\{c\}$ - exhaustive and disjoint

2. Tell under what conditions on the sets A and B we would have each of the following:

a. $\displaystyle A\cap B\,=\,\emptyset$ - if A & B are disjoint
b. $\displaystyle A\cap B\,=\,U$ - if both A & B are $\emptyset'$
c. $\displaystyle A\cup B\,=\,U$ - if A or B is $\emptyset'$
d. $\displaystyle A\cup B\,=\,\emptyset$ - if both A and B are $\emptyset$
e. $\displaystyle A\cap U\,=\,A$ - if $A\subset B$
f. $\displaystyle A\cup B\,=\,A$ -if $B\subset A$
g. $\displaystyle A\cap \emptyset\,=\,\emptyset$ - if A is $\emptyset$
h. $\displaystyle A\cap U\,=\,A$ - if A is $\emptyset$
i. $\displaystyle A\cup U\,=\,U$ - if $A\subset B$
j. $\displaystyle A\cup U\,=\,A$ - if A is $\emptyset$
k. $\displaystyle A\cup \emptyset\,=\,U$ - if A is $\emptyset'$
l. $\displaystyle A\cup\emptyset\,=\,\emptyset$ - if A is $\emptyset$

please tell me where I'm wrong and teach me how to approach that problem properly. thanks! Last edited:

#### Evgeny.Makarov

##### Well-known member
MHB Math Scholar
1. for any set A, a set of subsets of A is said to be exhaustive if the union of these subsets is A, and is said to be disjoint if no two of the subsets have any element in common. if $\displaystyle A\,=\,\{a,\,b,\,\,c\},\,$ tell whether the following set subsets is exhaustive;disjoint.

a. $\{a\},\,\{b\}$ - disjoint
b. $\{a\},\,\{b,c\}$ - exhaustive and disjoint
c. $\{a,b\},\,\{b,c\}$ - exhaustive
d. $\{a\},\,\{a,b\}$ - neither
e. $\{a\},\,\{b\},\,\{c\}$ - exhaustive and disjoint
I agree.

2. Tell under what conditions on the sets A and B we would have each of the following
I find this question not specific enough. Do they want any of the possibly non-equivalent sufficient conditions, or any of the equivalent necessary and sufficient conditions? In any case, the latter answer is probably better.

I assume that $U$ denotes the universal set and $A'$ denotes the complement of $A$.

a. $\displaystyle A\cap B\,=\,\emptyset$ - if A & B are disjoint
Agree.
b. $\displaystyle A\cap B\,=\,U$ - if both A & B are $\emptyset'$
Agree. Note that $\emptyset'=U$.
c. $\displaystyle A\cup B\,=\,U$ - if A or B is $\emptyset'$
This is sufficient, but not necessary. $A\cup B=U$ happens iff, e.g., $B'\subseteq A$.
d. $\displaystyle A\cup B\,=\,\emptyset$ - if both A and B are $\emptyset$
Agree.
e. $\displaystyle A\cap U\,=\,A$ - if A\subset B
This answer does not make much sense because $B$ does not occur in the question. $A\cap U=A$ for all $A$.
f. $\displaystyle A\cup B\,=\,A$ -if B\subset A
Agree, but the subset can be improper (i.e., $B$ can equal $A$). In LaTeX it is usually denoted by \subseteq.
g. $\displaystyle A\cap \emptyset\,=\,\emptyset$ - if A is $\emptyset$
This happens for all $A$.
h. $\displaystyle A\cap U\,=\,A$ - if A is $\emptyset$
Same question as in e.
i. $\displaystyle A\cup U\,=\,U$ - if $A\subset B$
Same remark and answer as in e.
j. $\displaystyle A\cup U\,=\,A$ - if A is $\emptyset$
So, you think that the union of the empty set and everything is empty?
k. $\displaystyle A\cup \emptyset\,=\,U$ - if A is $\emptyset'$
Same remark as in b.
l. $\displaystyle A\cup\emptyset\,=\,\emptyset$ - if A is $\emptyset$
Agree.