anlogo fu'ivla

x1 (fa'u-separated set) is analogous to x2 (fa'u-separated set of same size) by relation x3 (binary ka)

See ckini, fa'u