(See axiom of replacement.) {F(x) : P(x)} is the most general form of set builder notation.
(Βλέπε αξίωμα της αντικατάστασης.) {F(x) : P(x)} είναι η πιο γενική μορφή σύνολο-κατασκευαστικής γραφής.