:: deftheorem Def16 defines meet-inheriting YELLOW_0:def 16 :
for L being non empty RelStr
for S being SubRelStr of L holds
( S is meet-inheriting iff for x, y being Element of L st x in the carrier of S & y in the carrier of S & ex_inf_of {x,y},L holds
inf {x,y} in the carrier of S );