for x1, x2 being set holds <*x1,x2*> = {[1,x1],[2,x2]}