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?