Translation of "Potenzmenge" in English