selcmipi'i lujvo

x1 is the cross product of set x2 and set x3.

See also pi'u, selcmi and pilji