selkle lujvo

x1 is a superset of class x2 defined by x3 (ka).

See also klesi, selcmi.