selcmi lujvo

x₁ is the set whose members are x₂; x₂ are the members of x₁.

See also cmima.

• jbovlaste

---