I thought it was going to be tilings in the plane but the example is some set properties which produces a venn diagram. The notation feels c like. Maybe it co

I thought it was going to be tilings in the plane but the example is some set properties which produces a venn diagram. The notation feels c like. Maybe it could be interesting for knots and complicated algebraic geometry?