Mathematical logic and foundations

A definable rule assigns exactly one value to each member of a set A. What does replacement guarantee?