The difference between the two formulations is the difference between a universal and existential quantification.

• 这两种限制形式间的不同就是全称量词与存在量词间的不同。