trivial functional dependency
behavioral subtyping
supermultiplicativity
gild the lily
supervaluation
supertype
onto
supertypical
subset classifier
superadditivity
superadditional
inheritance
superstabilization
superslice
inherit
subtyping
supermethod
downcast
discrete topology
principal ultrafilter
upcast
supermaneuverable
homogeneous
supermassiveness
state
anamorphism
imperative
non-negative
functionomic
supercomputerlike
submethod
lens
superimpositional
omnielemental
supercontractivity
supercomputing
supercombinator
subfunctional
classical inheritance
polymorphism
superdeterminant
directed
empty function
identity functor
identity
superfalsity
overload
type coercion
superfalsehood
eigenlevel