.

A class is

-hereditary when its defining property is

-hereditary.

A term

is said to be an "