-hereditary" when, if it belongs to a term

, and

has the relation

to

, then it belongs to