document.write( "<A HREF=/cgi-bin/jump-to-question.mpl?question=1080521>Question 1080521</A>: <I><SPAN STYLE=\"word-break: break-all;\"> A and B are any subsets of some universal set X.<BR>\n" );
document.write( "proof or counterexample?<BR>\n" );
document.write( "A^c = (A &#8746; B)^c &#8746; (B\A) </SPAN>\n" );
document.write( "</I><HR><TABLE width=100%><TR><TD><B><A HREF=http://www.algebra.com/>Algebra.Com's</A> Answer #694629 by </B><A HREF=/tutors/aboutme.mpl?userid=jim_thompson5910><B>jim_thompson5910(35256)</B></A><img src=\"/images/stars/stars-13.gif\" alt=\"\" >&nbsp;<A HREF=/tutors/aboutme.mpl?userid=jim_thompson5910><IMG SRC=http://www.algebra.com/images/aboutme-small.gif BORDER=0 alt=\"About Me\" VALIGN=MIDDLE></A>&nbsp;<IMG SRC=http://www.algebra.com/images/nopicture.jpg><BR>You can <A HREF=\"/cgi-bin/embed-solution.mpl?show=1&solution=694629\">put this solution on YOUR website!</A><BR><SPAN STYLE=\"word-break: break-all;\"> The claim is true. Look below to see the proof of why the claim is true.\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "------------------------------------------------------------------------------\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "Let k be any element in set A^c. This means that k is NOT in set A. The value k is anywhere but set A. It could be in set B or somewhere outside both sets A and B. \r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "The goal for this subpart is to show that k is an element of the set on the right side of the equal sign. It doesn't matter which part you pick, (A U B)^c or (B\A), the element k will not be found in set A. The notation B\A means \"start with set B and kick out anything found in set A\", so clearly k is also a part of this set. Or we can say k is a part of (A U B)^c since this also excludes set A as well. No matter which choice you pick, you'll be outside of set A.\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "So this means if k is an element of A^c, then k is also an element of either (A U B)^c or (B\A) which is the same as saying k is an element of (A U B)^c U (B\A).\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "Furthermore, this means A^c is a subset of (A U B)^c U (B\A)\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "--------------------------------------------------\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "Let's go in reverse\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "Let m be some element in (A U B)^c U (B\A). If m is in that set, then either m is in (A U B)^c or (B\A)\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "Let's assume m is in (A U B)^c. If that's true, then m is NOT in set A because of the complement notation. In this specific case, m is not in set B either\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "OR we can assume m is an element of (B\A) which means m is in B, but not in A. \r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "So whichever part of (A U B)^c U (B\A) you pick, the idea is that this element is NOT in set A, which is exactly what A^c is saying\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "So if m is an element of (A U B)^c U (B\A), then m is an element of A^c<BR>\n" );
document.write( "In translation, (A U B)^c U (B\A) is a subset of A^c\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "--------------------------------------\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "In summary, we have shown that A^c is a subset of (A U B)^c U (B\A), which was the first subpart of this proof. We've also shown that (A U B)^c U (B\A) is a subset of A^c, which was the second subpart of the proof. Tying those subparts together and that means A^c = (A U B)^c U (B\A)\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "This concludes the proof. \r<BR>\n" );
document.write( "\n" );
document.write( "--------------------------------------------------------------------------------<BR>\n" );
document.write( "--------------------------------------------------------------------------------\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "If you prefer a visual approach, then consider this drawing<BR>\n" );
document.write( "<IMG STYLE=\"max-width:80%;\" src = \"https://i.imgur.com/26APwqv.png\">\r<BR>\n" );
document.write( "\n" );
document.write( "The rectangle represents the universal set X. This is the entire set of values we care about. It doesn't matter if they are numbers, letters, people, or whatever. The same theories will hold true regardless of the element type.\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "Inside this universe is the set A and B which overlap somehow. Often it's done with a Venn Diagram. The region that is in A only, and not in B, is represented by the label \"A\" in the drawing. Likewise, the label \"B\" means we're in set B but not in set A. The label \"C\" denotes the overlap between sets A and B. Based on the drawing, <IMG STYLE=\"max-width:80%;\" SRC=\"/cgi-bin/rendertex.cgi?\large C = A \cap B\"> using set notation. Finally, the \"D\" label represents the region that is NOT in set A and NOT in set B. It is in neither region and outside both. \r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "Hopefully you would agree that <IMG STYLE=\"max-width:80%;\" SRC=\"/cgi-bin/rendertex.cgi?\large D = (A \cup B)^c\">. If not, then consider the set A U B which is the combination of the regions A,B,C. Use a highlighter to shade in all three regions. The region not shaded is the empty space around the circles, which is exactly what set D is. So that's why D is (A U B)^c. In other words \"D is everything not in A nor B nor both\". \r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "Keep this region D in mind because it will be used shortly.\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "Moving on, we will focus on B\A now. Go back to a unshaded version of the drawing above. Shade set B but do NOT shade any parts that overlap with A. We only want the stuff in B that doesn't have A in it. That region on the drawing is marked with \"B\". \r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "The two regions D and B will combine to form basically everything but the regions A and C as shown in this drawing below (light blue is B\A and green is (A U B)^c)<BR>\n" );
document.write( "<IMG STYLE=\"max-width:80%;\" src = \"https://i.imgur.com/jEOT758.png\"><BR>\n" );
document.write( "note: the green and blue regions do not overlap\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "Union these shaded regions together and you get everything but set A. This visually shows that (A U B)^c U (B\A) is the same as A^c, hence showing that A^c = (A U B)^c U (B\A) is true for all elements in A and B.  </SPAN>\n" );
document.write( "</TD></TR></TABLE>\n" );