06/19/2009, 02:51 PM
(06/19/2009, 02:04 PM)Tetratophile Wrote: "We call a region H an initial region of F iff F(z) {is not in} H for all z {in} H..."
does this mean \( \exists z : F(z) \notin H \) (there is SOME z such that F(z) is NOT in H) or \( \forall z (F(z) \notin H \)) (there is NO z such that F(z) IS in H)?
\( \forall z\in H: F(z)\notin H \).
