:: deftheorem defines sups-inheriting YELLOW_0:def 19 :
for L being non empty RelStr
for S being SubRelStr of L holds
( S is sups-inheriting iff for X being Subset of S st ex_sup_of X,L holds
"\/" (X,L) in the carrier of S );