:: deftheorem defines /\-inheriting MSUALG_7:def 2 :
for L being Lattice
for IT being SubLattice of L holds
( IT is /\-inheriting iff for X being Subset of IT holds "/\" (X,L) in the carrier of IT );