ni'ai _{NU …KEI} experimental cmavo

x₁ is a number/value such that the abstraction is true, under mathematical system x₂; x₁ binds to ke'a within the abstraction

Essentially a specialized version of poi'i for use with predicated mathematical statements (as an alternative to mekso). See also ke'a.

• CLL 11.1
• jbovlaste