state
deductive closure
computed
computation
strictly
integral function
computistically
Turing computable function
consensus
domain
range
global
directed
parameterizable
total
structure
identity
parametrically
for all
functionally complete
Armstrong's axioms
member variable
variable
variable quantity
global scope
subconfiguration
truthset
antiset
visibility
encloser
computational
computationally
epigraph
supermodular
preferences
multifunction
Herbrand function
compute
context
vector function
omnielemental
discrete topology
parallel computing
pentafunctional
recursively enumerable
knapsack
imperative programming
antilimit
set-builder notation
tristate
quotient set
subset classifier
quadrivariate
block design
abc conjecture
throw in
co-recursively enumerable
choice function
geneset
image
monomorphisation
configurationally
range of a function
eigenlevel
memoize
multiconvex
division
conformant
constant function
extension
monad
member
convex set
customize
weight
independent function
parametric
customise
Q code
custom-make
whole
tailor-make
extracomputational
codimension
parametrise
trivial functional dependency
macroparameter
coset
autotype
parameterization
stabilizer
variate
parameterize
computativeness