"Kuratowski closure-complement theorem" for formal languages
Posted by stochastic randomness, at math.stackexchange.com,
A famous theorem/puzzle/problem from topology is to show that given any subset of a topological space, at most 14 distinct sets…