Studies of Euler diagrams/splits

Given a of elements, one can say, that a  does two things:


 * It splits the universe in two halves,
 * and it labels one half as inside (the set) and the other one as outside (the complement).

It can be useful to use a weaker construct, that does only the first. This shall be called a split.

Where both sides are non-empty, a split is the same as a into two blocks.

two splits
The following image shows the three ways two different splits can relate to each other:
 * left: The borders cross, and the resulting 4 areas are non-empty.
 * middle: The borders do not cross, and the resulting 3 areas are non-empty. This case can be seen as (row 1, middle), sets in a  relation (row 3, right) or intersecting sets whose union is the universe (row 4, left).
 * right: One of the sets is the universe, and thus contains the other one. Only 2 areas are non-empty.



All non-empty areas in a column appear as intersection of red and green in one of the rows. In the left column there are 4, in each middle column there are 3, and in the column on the right there are 2. So to find out how two splits are related to each other, one has to check how many of the four possible intersections are empty.

The graphic shows only the cases where the splits are different. But there are also three cases where they are the same

all six cases
These four Boolean functions show examples of each case.

examples for 3-ary Boolean functions
An overview of all 22 equivalence classes can be found in the category on Commons.

In the small Venn and Euler diagrams, gray cells are empty. In the big files, the black dot represents an element, i.e. these cells are non-empty.

hypersplits
The concept can be extended to higher dimensions. A hypersplit of dimension n (or n-split for short) partitions space into 2n orthants. E.g. a 2-split has four quadrants, and a 3-split has 8 octants. Each orthant needs to contain at least one spot - but it can be a gapspot.


 * List for (two 3-splits)
 * List for (one 3-split)
 * List for (three 3-splits, one with a single gapspot as an octant)