:: deftheorem Def4 defines Hierarchy TAXONOM2:def 4 :
for Y being set
for b₂ being Subset-Family of Y holds
( b₂ is Hierarchy of Y iff b₂ is hierarchic );