zilbri
lujvo x_{1} (predicate) is true when applied to argument list x_{2} (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.


brije'u
lujvo x_{1} (predicate) is true when applied to argument list x_{2} (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.


funtiio
fu'ivla x_{1} (plural of ordered pairs) is an exhaustive set (possibly infinite) of inputs/outputs defining a unary function which yields result x_{3} when given input x_{2}; x_{1}(x_{2}) = x_{3} "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 laname for referring to a function is also an option, for example "la .fankcyn. cu funtiio li re li ci". See also fancu, fancuka.
