object-inclusion
See also
Definition
An object-inclusion is the statement [footnote1] that an object declared in a universe-of-discourse is a constitutive element of a theory-derivation.
In straightforward language, an object-inclusion extends a theory-derivation with an object, which makes it possible to infer statements about that object.
Footnotes
- footnote1
Here, statement is considered in its general meaning, distinct from theory-statement .