Description: Well-founded induction restricted to a set ( A e. _V ). The proof
has been taken from Chapter 4 of Don Monk's notes on Set Theory. See
http://euclid.colorado.edu/~monkd/setth.pdf . (Contributed by Jonathan Ben-Naim, 3-Jun-2011)(New usage is discouraged.)