The meaning of specifications II: set-theoretic specification