lujvo x1 (predicate) is true when applied to argument list x2 (sequence) Synonymous to brije'u. The x1 slot can be filled with a property/relation (ka) whose number of free slots match the length of the sequence x2. It can also be filled with a bridi abstraction (du'u) —nullary predicate—, in which case the x2 should be the empty set or possibly zi'o. See also bridi.

lujvo x1 (predicate) is true when applied to argument list x2 (sequence) Synonymous to zilbri. The x1 slot can be filled with a property/relation (ka) whose number of free slots match the length of the sequence x2. It can also be filled with a bridi abstraction (du'u) —nullary predicate—, in which case the x2 should be the empty set or possibly zi'o. See also bridi.

fu'ivla x1 (plural of ordered pairs) is an exhaustive set (possibly infinite) of inputs/outputs defining a unary function which yields result x3 when given input x2; x1(x2) = x3 "f(x) = z" == "fy funtiio xy fi zy". "lo ro se zilbri be lo ka ce'u sumji ce'u li pa" is a way to extract the input/output set of the relation "f(x) = x−1", so that you can use it as funtiio's x1. Using a la-name for referring to a function is also an option, for example "la .fankcyn. cu funtiio li re li ci". See also fancu, fancuka.