theorem Th2: :: WAYBEL23:2

for L being non empty RelStr
for X, Y being Subset of L st X c= Y holds
finsups X c= finsups Y