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.
selcmitro
j1 is the curator of set/collection j2=c2 of c1 in j3.
selkle
x1 is a superset of class x2 defined by x3 (ka).