set H = {} ;
reconsider H' = {} as Subset-Family of by XBOOLE_1:2;
take H' ; :: thesis: H' is hierarchic
thus H' is hierarchic by Th6; :: thesis: verum