Talk:Regular open set