Definitions for "instance of a class"