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