[math-fun] Set of all sets question