object-declaration
See also
Definition
An object-declaration is a statement [footnote2] that an (existing) object is contained in a universe-of-discourse.
In straightforward language, an object-declaration extends a universe-of-discourse with that object, which makes it possible to speak about that object using other objects.
Formally, whenever an object is declared:
Let U be a newly created universe. Let x be an object declared in U. Let y be an object declared in U.
To be even more accurate, we should consider a universe as an “accreting” variable:
Let x be a newly created object. Let U := U extended by x. Let y be a newly created object. Let U := U extended by y.
Footnotes
- footnote2
Here, statement is considered in its general meaning, distinct from theory-statement.