x_{1} is an algebra of type/describing x_{2}

Lujvo synonym: snicmaci. Place structure parallel to that of cmaci.

- snicmaci in sense "The field of mathematics that studies symbolic variables and rules." on place 1
- c
_{1}is an algebra of type/describing c_{2}

- pu'e'ei
- mekso binary operator: generate span; outputs span(X
_{1, X}= span_{X}; set of all (finite) sums of terms of form c v, where v is an element of algebraic structure X_{1}(wherein scalar multiplication and summation is defined), and c is a scalar belonging to ring X_{2}. - dzalenypi'i
- x
_{1}(li; often but not necessarily an integer) is a multiple of x_{2}(li; often but not necessarily an integer) by some integer, namely x_{3}(li; MUST be an integer in the structure; possibly, more than one input may be valid), in algebraic structure x_{4}. - gu'au'i
*(exp!)* - mekso operator, variable arity - algebraic structure order of X1; OR: order of/(size of) period of element X1 in algebraic structure X2 under operator/of type X3
- kau'o
*(exp!)* - generic algebra unit e
_{n} - pei'e'a
*(exp!)* - at-most-3-ary mekso operator: "integer exponent" for X
_{1}divided by X_{2}in algebraic structure X_{3} - po'i'oi
*(exp!)* - mekso at-most-3-ary operator: convert to polynomial; X
_{1}(ordered list of algebraic structure (probably field) elements) forms the (ordered list of) coefficients of a polynomial/Laurent-like series with respect to indeterminate X_{2}under ordering rule X_{3}(default for finite list: the first entry is the coefficient of the highest-degree term and each subsequent entry is the next lesser-degree coefficient via counting by ones and wherein the last entry is the constant term) - aigne
- x
_{1}is an eigenvalue (or zero) of linear transformation/square matrix x_{2}, associated with/'owning' all vectors in generalized eigenspace x_{3}(implies neither nondegeneracy nor degeneracy; default includes the zero vector) with 'eigenspace-generalization' power/exponent x_{4}(typically and probably by cultural default will be 1), with algebraic multiplicity (of eigenvalue) x_{5} - epsi bu
- digit/number: dual ε of dual number in linear algebra; square root of 0

- po'i'ei
- n-ary mekso operator: for an input of ordered list of ordered pairs ((X
_{1, Y}, it outputs formal generalized rational function (x - X_{1)^Y}in the adjoined indeterminate (here: x). - vei'o
- binary mekso operator: form quotient space X
_{1/X}. - soi'auroi
*(comp!)* - almost never/nowhere (default: time sense)
- kazmi
- x
_{1}(li) is the cardinality of set x_{2}(set) - fei'i
*(exp!)* - mekso variable-arity (at most ternary) operator: number of prime divisors of number X
_{1}, counting with or without multiplicity according to the value X_{2}(1 xor 0 respectively; see note for equality to -1 and for default value), in structure X_{3}. - va'ei'a
*(exp!)* - digit/number: Dom Hans van der Laan's plastic number ρ = 1.324717957244746025960908854…
- cmacistura
- x
_{1}is a mathematical structure defined on underlying structure/set/parts x_{2}with properties/rules/relations/operands/functions/substructures x_{3}in mathematics x_{4}. - dilcrmadjulu
- x
_{1}(li) is congruent to x_{2}(li) modulo x_{3}(li) - faumji
- x
_{1}is the result of evaluating mathematical object x_{2}at point/with input value x_{3}(ordered tuple) - praperi
- x
_{1}is a strict/proper sub-x_{2}[structure] in/of x_{3}; x_{2}is a structure and x_{1}and x_{3}are both examples of that structure x_{2}such that x_{1}is entirely contained within x_{3}(where containment is defined according to the standard/characteristics/definition of x_{2}; but in any case, no member/part/element that belongs to x_{1}does not also belong to x_{3}), but there is some member/part/element of x_{3}that does not belong to x_{1}in the same way.