pormei lujvo

x1 (sequence) has length x2

See also cmimei, pormoi, memkai, mei

In notes:

nicpoi
x1 (sequence) is a sorted sequence, ordered by relation x2 (binary ka), from unordered set/plurality x3
pormoi
x1 is in the x2-th slot of sequence x3