jon poi lujvo

p₁ [ordered set] is a train/procession/caravan/string sequenced/ordered/listed by comparison/rules p₂ on unordered set p₃=j₁=j₂.

In notes:

jorne: x₁ is joined to/connects to/is united with x₂ at common locus x₃; x₁ and x₂ are a union.