selcmi lujvo

x1 is the set whose members are x2; x2 are the members of x1.

See also cmima.

In notes:

kutysetmima
x1 is the empty set
selcmipi'i
x1 is the cross product of set x2 and set x3.