The prompt shows De Morgan's Laws for complements in set theory. For any two sets A and B,
 The complement of the union of the two sets is equal to the intersection of their complements and
 The complement of the intersection of the two sets is equal to the union of their complements.
In the classroom, the inquiry starts with students pondering the meaning of the identities. They will pose questions about the symbols, noticing that the symbols for union and intersection have been 'swapped round'. As set notation is arbitrary knowledge (see the box below on Hewitt's distinction between arbitrary and necessary knowledge), the teacher has to be prepared to explain the meaning of the symbols at the beginning of the inquiry. In a structured inquiry, the teacher could illustrate the laws by representing sets of integers in a Venn diagram (as in the example below). Students might then decide how to proceed by selecting a regulatory card. If they feel confident, they could represent their own sets in Venn diagrams and list the elements of the union, intersection and complements. As the prompt is true in all cases, students will be able to check the elements in their solutions. Otherwise, students might opt to work on sets provided by the teacher and limit themselves to thinking about the union and intersection before moving on to the complement.
The laws can also be shown to be true at a more general level by shading the regions of Venn diagrams.
Resources Prompt sheet PowerPoint
Arbitrary and necessary knowledge In his article Arbitrary and Necessary Part 1: a Way of Viewing the Mathematics Curriculum, Dave Hewitt distinguishes between arbitrary and necessary knowledge: I describe something as arbitrary if someone could only come to know it to be true by being informed of it by some external means  whether by a teacher, a book, the internet, etc. If something is arbitrary, then it is arbitrary for all learners, and needs to be memorised to be known.... It is not only labels, symbols or names which are arbitrary. The mathematics curriculum is full of conventions, which are based on choices which have been made at some time in the past. For anyone learning those conventions today, they may seem arbitrary decisions.... There are aspects of the mathematics curriculum where students do not need to be informed. These are things which students can work out for themselves and know to be correct. They are parts of the mathematics curriculum which are not social conventions but rather are properties which can be worked out from what someone already knows.... So, the mathematical content which is on a curriculum can be divided up into those things which are arbitrary and those things which are necessary. All students will need to be informed of the arbitrary. However, the necessary is dependent upon the awareness students already have.... Although [some knowledge] is necessary, it does not imply that all students have the awareness to be able to work [it] out, only that someone is able to work [it] out without the need to be informed. Arbitrary  All students need to be informed of the arbitrary by someone else.  Realm of memory  Necessary  Some students can become aware of what is necessary without being informed of it by someone else.  Realm of awareness 
 Four lines of inquiry to extend the prompt
1. Shading regions There are 16 different ways to shade the regions of a twoset Venn diagram. Can you describe each one using set notation?How many ways are there to shade the regions of a threeset Venn diagram (with intersecting sets)? Can you describe each one using set notation? 2. Three setsUse Venn diagrams to show that the following identities are true for any three sets A, B and C.
3. Proofs of the lawsLook up the symbols used in set theory and mathematical proof to understand the proof below of one of De Morgan's laws. You can find both proofs here.
4. De Morgan's laws for set differenceUse Venn diagrams to show that the following identities are true for any three sets A, B and C.
