Mathematical logic and foundations

A set X is known to exist, and P(x) is a property. What does the separation schema guarantee?