 Note that in IZF the schema of separation is unrestricted. In CZF, Collection is strengthened to compensate for restricted separation. Subset collection is a strengthening of Myhill’s exponentiation axiom, thus substituting for ZF’s Powerset. 