stepau lujvo

x1 is the power set of x2.