[math-fun] Puzzle about non-empty sets