x_{1} is a number/value such that the abstraction is true, under mathematical system x_{2}; x_{1} 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.