{
  "citations" : [ {
    "textCitation" : "[See pwwf on Metamath](http://us.metamath.org/mpegif/pwwf.html)"
  } ],
  "names" : [ "pwwf" ],
  "language" : "METAMATH_SET_MM",
  "lookupTerms" : [ "#T_cA", "#T_wcel", "#T_cuni", "#T_cr1", "#T_cima", "#T_con0", "#T_wb", "#T_cpw", "#T_cA", "#T_wcel", "#T_cuni", "#T_cr1", "#T_cima", "#T_con0" ],
  "metaLanguage" : "METAMATH",
  "remarks" : " A power set is well-founded iff the base set is.  (Contributed by <NAME>, 8-Jun-2013.)  (Revised by <NAME>, 16-Nov-2014.) ",
  "statement" : "pwwf $p |- ( A e. U. ( R1 \" On ) <-> ~P A e. U. ( R1 \" On ) ) $."
}