consider T being trivial LATTICE;
take T ; :: thesis: T is Mizar-widening-like
thus T is sup-Semilattice ; :: according to ABCMIZ_0:def 3 :: thesis: T is Noetherian
thus T is Noetherian ; :: thesis: verum