Whose instances are not stated explicitly, but which is defined by inference on the properties of instances.

• 它没有显式地声明其实例,而是由对实例特性的推论定义实例。