 The Anti-Foundation Axiom in Coalgebraic Form. Except for not being a set, (V, j)  is a final coalgebra for  ℘: for every set b  and every   e: b→       ℘b, there exists a unique  s : b → V  such that s   = ℘ s ⋅ e: 