 The Foundation Axiom in Algebraic Form.    Except for not being a set, (V, i)  is an initial algebra for  ℘: for all sets a  and all   f : ℘          a → a,  there is a unique  s : V → f   such that m   =   f  ⋅ ℘  m:  