The *(term) for a context in which any kind of abstractions are recursively possible over a system. That is, objects that talk about objects that talk about, etc, about the system.

In the specific sense as an adjective on a type, it refers to the situation where the context allows higher-order objects of that type <em>for</em> that type.
