zy BY2 cmavo

letteral for z.

In notes:

mekso operator: finite result set derived from/on set A with/due to operator/function B under ordering of application C
x1 (plural of ordered pairs) is an exhaustive set (possibly infinite) of inputs/outputs defining a unary function which yields result x3 when given input x2; x1(x2) = x3