x1 is an n-ary operator/map which is distributive/linear/homomorphic in or over or from space/structure x2, mapping to space or structure x3, thereby producing a new space/structure x4 which is the 'union' of x2 and x3 endowed with x1; x1 distributes over/through all of the operators of x2.
x2 and x3 cannot merely be sets; they must be structures which each are a set endowed with at least one operator each; the ith operator endowing one space corresponds to exactly the ith operator endowing the other space under mapping x1. For any operator of x2, x1 is commutative with it with respect to functional composition (fa'ai) when the (other) operator is 'translated' to the corresponding operator of x3 appropriately. x1 is linear/a linear operator; x1 is a homomorphism; x1 distributes. x2 is homomorphic with x3 under x1; they need not be identical (in fact, their respective operators need not even be identical, just 'homomorphically similar'). For "distributivity"/"distributive property", "linearity of operator", or "homomorphicity of operator", use "ka(m)( )facni" with x1 filled with "ce'u"; for "homomorphicity of spaces", use the same thing, but with x2 or x3 filled with "ce'u". See also: socni, cajni, sezni, dukni; fa'ai; fatri. This is a structure-operator-preserving function, and thus is an example of a stodraunju.