这个问题让我想到了模态逻辑里的(Lp→Mp)在每个世界都至少能看到一个世界的时候恒成立。
简单的说
如果希望从
任意a属于A,都满足性质P
推出
存在a属于A,满足性质P
需要且只需要补充条件
存在a属于A