Axiom of replacement#Relation to the axiom schema of separation