The *(term) for contexts in which only objects of a theory may be abstracted.

This refers to _(first-order logic).
