:: deftheorem Def19 defines bottom-inheriting WAYBEL34:def 19 :
for L being non empty RelStr
for S being SubRelStr of L holds
( S is bottom-inheriting iff Bottom L in the carrier of S );