# Venn diagrams for 11 sets

Ask most people about set theory and you will get a blank look, but ask them about a Venn diagram and they are much more likely to understand: indeed Venn diagrams are so well grasped that Mitt Romney’s campaign for the US Presidency recently attempted to make use of them (though I am not sure it was much of a success, but that’s another story…)

So called 2-Venn (two circles) and 3-Venn diagrams are very familiar. But higher dimension Venn diagrams that are (relatively) easy to grasp (I’ll explain what I mean by that below) are actually difficult to produce – and until last month nobody had managed to get beyond 7.

So, let’s state a few basic properties of any Venn diagram (here is a good general survey of Venn diagrams)- firstly – each region (face) is unique – there is only one region where the bottom curve intersects with the right curve alone, and only one where it intersects with the left curve alone and only one where all three curves intersect (the grey region) and so on.

This image (taken from that survey, apologies) – shows a series of set intersections which are not a Venn diagram:

For instance, we can see the two shaded areas both represent intersections of the ‘blue’ and ‘red’ sets.

A second point is that there is a finite number of intersections. In other words segments of curves cannot lie on top of one another (in fact this rule means the intersections must be in the form of Eulerian points of zero length – as, following on from the last post about Aristotle’s Wheel Paradox, any segment of a curve is continuous and has an uncountable infinite number of points).
The 3-Venn example above illustrates some of the key points about easier to understand Venn diagrams – firstly it is simple: no intersection is of more than two curves and secondly it is symmetric. In fact, if we are willing to ignore these points we can draw Venn diagrams of any number of sets, each with less intelligibility than the last.

Drawing higher number simple and symmetric Venn diagrams is exceptionally difficult and it has been proved that such $n-Venn$ diagrams only exist when $n$ is a prime.

So we have 2-Venns and 3-Venns, and mathematicians have managed 5-Venns:And 7-Venns:

But, until now, simple symmetric 11-Venns have been elusive. Certainly 11-Venn’s have been around – as the example below shows:

This example is symmetric but it is not simple.

Now, though, a breakthrough has been made. Named newroz – the Kurdish name for the new year – the first simple, symmetric 11-Venn has come from Khalegh Mamakani and Frank Ruskey, both of the Department of Computer Science at the University of Victoria, Canada.

And it is beautiful:

That said, I don’t think it will be featuring in any presidential campaigns just yet – by definition there are $2^{11} - 1= 2047$ intersecting regions, probably a bit more than even the keenest voter would care for.

1. andy x says:

can’t scroll the page on the iPad. Can you disable whatever overcomplicated “mobile” template/skin you have? Stock WordPress works best on the iPad.

• Sorry about that – have switched off the special iPad interface that wordpress recommend – hope it works now.

• d says:

iPad, haha you suck!

• Emilio Koutani says:

he can’t scroll low enough to see that remark..

haha, what a looser

• Bobby says:

Works perfectly on my Nexus 7. lolz

2. Someone make a .svg of that pic so we can see it with full detail? :3

3. non-linear says:

I can smell interesting fractals coming with higher dimensions ….

4. […] Venn diagrams for 11 sets (Cartesian Product) […]

5. Mike Blackburn says:

can this be extended to 3 dimensions – does it form a cell boundary?

6. jsbiff says:

Where can I get this on a t-shirt?

7. […] [via Cartesian Product] […]

8. […] sent me a link to a Venn Diagrams post, so that got me thinking.  A Venn Diagram with \$n\$ atoms has to represent […]
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 3, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}