-ancestor" of the term

if

has every

-hereditary property that

has, provided