Set Theory  $$  
Sets & Basic Operations 
Set Theory  01
Sets & Basic Operations
Sets and Elements
A set is a welldefined collection of objects, each of which is called an element or member of the set.
Sets can either be defined by (i) listing out its members (such as the set of vowels a, e, i, o, u), or (ii) by stating out rules or properties (such as the set of the names of the capital cities of Indian states).
Notations
A set is normally denoted by a capital letter, such as A, X etc., while the elements might be denoted generically by lowercase letters like a, b etc. The elements of a set are enclosed within curly braces '{' and '}', and are separated from each other by commas.
Sets can be specified in two ways:

Tabular form:
The elements are listed explicitly. e.g., $A=\left\{2,4,6,8\right\}$ . 
Setbuilder notation or property method:
The set is defined by stating the properties which characterize the elements of the set. e.g., $B=\left\{x:x\text{is and odd integer},x0\right\}$The above reads as "B is a set of x such that x is an odd integer and x > 0". x stands for any element of the set, the colon is read as "such that" and the comma as "and." In explicit form, the above set is $B=\{1,3,5,7,9\}$.The symbolic way of writing the statement that an element "p is an element of set A" or, equivalently, "p belongs to set A," is $$p\in A$$When specifying two elements, like p and q, we write $$p,q\in A$$The statement "a does not belong to A" is written as $$a\notin A$$
Two sets A and B are equal if both have the same elements. This is denoted as A = B. If they are unequal, it is expressed as $A\ne B$
Note that changing the arrangement of the elements of a set does not change the set. Also, repetition of elements of a set does not change the set.
A = C, since both contain the same elements, even though C has the element 2 repeated.
Universal Set and Empty Set
The universal set, or the universe, is a larger set assumed to contain all sets under consideration for a particular study. The universal set is denoted by U. Thus, for a study on car models, the universal set could consist of all the car models in the world ever made.
An empty set, or a null set, is a set with no elements. It is denoted by $\varnothing $ or $\left\{\text{\hspace{0.17em}}\right\}$. Evidently, there can be only one null set.
Subsets
If every element of a set A is also an element of set B, then A is called a subset of B. This is also expressed as: A is contained in B, or B contains A. This is expressed symbolically as $$A\subseteq B$$
Inversely, B is called a superset of A. Symbolically, this is expressed as $$B\supseteq A$$
The statement "A is not a subset of B" implies that at least one element of A does not belong to B. This is expressed as $A\u2288B$ or $B\u2289A$.
From the definition of subset, if A = B, A is still a subset of B, and vice versa.
$A=\{1,4,7,11,17\}$, $B=\{2,7,8,11,17,19\}$ and $C=\{7,17\}$
Based on what we have learned till now, some properties of sets are
 Every set A is a subset of the universal set U, since by definition, every element of a set A belongs to U.
 The empty set $\varnothing $ is a subset of any set A.
 Every set A is a subset of itself. Thus, $A\subseteq A$
 Two set are equal if and only if both are subsets of each other. In other words, A = B if and only if $A\subseteq B$ and $B\subseteq A$
 If every element of a set A belongs to a set B, and every element of set B belongs to a set C, then clearly every element of set A belongs to set C. Thus, if $A\subseteq B$ and $B\subseteq C$, then $A\subseteq C$.
Proper Subset
If $A\subseteq B$ and $A\ne B$, then A is a proper subset of B. This is expressed as $$A\subset B$$
Thus, all proper subsets are subsets, but not all subsets are proper subsets.
Disjoints sets
If two sets have no elements in common, they are said to be disjoint. Two sets which are disjoint can never have a supersetsubset relationship, unless one is a null set.
Venn Diagrams
A venn diagram is a pictorial representation of sets, wherein they are shown as enclosed areas. Typically, the universal set U is represented by the area within a rectangle, and the other sets as circles placed within the rectangle.
Fig. represents a universal set and disjoint sets A and B, while Fig. represents a universal set with sets A and B having subsetsuperset relationship.
Set Operations
The three common operations on sets are the operations of union, intersection and difference.
Union
The union of two sets, A and B, denoted by $A\cup \ufe00B$, is the set of all elements which belong to either A or B; i.e.
$$A\cup \ufe00B=\{x:x\in A\text{\hspace{0.17em}\hspace{0.17em}}\text{or}\text{\hspace{0.17em}\hspace{0.17em}}x\in B\}$$
The venn diagram depicting the union relationship is shown in Fig. .
Intersection
The intersection of two sets, A and B, denoted by $A\cap \ufe00B$ , is the set of all elements which belong to both A and B; i.e.
$$A\cap \ufe00B=\{x:x\in A\text{\hspace{0.17em}\hspace{0.17em}}\text{and}\text{\hspace{0.17em}\hspace{0.17em}}x\in B\}$$
The venn diagram depicting the union relationship is shown in Fig. .
$A=\{1,4,7,10\}$, $B=\{2,4,6,8,10,12\}$ and $C=\{1,3,5,7\}$
$A\cup \ufe00B=\{1,2,4,6,7,8,10,12\}$  $A\cap \ufe00B=\{4,10\}$ 
$B\cup \ufe00C=\{1,2,3,4,5,6,7,8,10,12\}$  $B\cap \ufe00C=\varnothing $ 
$A\cup \ufe00C=\{1,3,4,5,7,10\}$  $A\cap \ufe00C=\{1,7\}$ 
We have,
$B\cup \ufe00G=U$, as each student in U is either in set B or set G.
$B\cap \ufe00G=\varnothing $, as there is no student belonging to both sets B and G.
Properties of unions and intersections
Some of the properties of the union and intersections of sets are as follows:
 $(A\cap \ufe00B)\subseteq A$ and $(A\cap \ufe00B)\subseteq B$, since every element of $A\cap \ufe00B$ belongs to A, as well as B. This is also clear from the venn diagram of Fig. .
 $A\subseteq (A\cup \ufe00B)$ and $B\subseteq (A\cup \ufe00B)$, since every element of A belongs to $A\cup \ufe00B$, and similarly every element of B belongs to $A\cup \ufe00B$. This is also clear from the venn diagram of Fig. .
Combining the above two properties leads to: $$(A\cap \ufe00B)\subseteq A\subseteq (A\cup \ufe00B)\text{\hspace{1em}}\text{and}\text{\hspace{1em}}(A\cap \ufe00B)\subseteq B\subseteq (A\cup \ufe00B)$$
Complement
The complement, or absolute complement, of a set A, denoted by ${A}^{c}$ or $A\prime $, is the set of all elements which belong to U (the universal set) but does not belong to A.
$A\prime =\left\{x:x\in U,\text{\hspace{0.17em}}x\notin A\right\}$ (see Fig. )
Difference
The difference of two sets, A and B, denoted by A − B, or A ~ B, is the set of all elements which belong to A but do not belong to B, i.e.
$A\sim B=\left\{x:x\in A,\text{\hspace{0.17em}}x\notin B\right\}$ (see Fig. )
Feedback Form▼(open form)
Bibliography
Sets & Basic Operations  
Set Theory  $$ 