intensional
A description of properties, e.g. intensional equality, that relate to how an object is implemented as opposed to extensional properties which concern only how its output depends on its input.
MegaLexica
A description of properties, e.g. intensional equality, that relate to how an object is implemented as opposed to extensional properties which concern only how its output depends on its input.