theorem Th15: :: WAYBEL21:15

for T being sup-Semilattice
for S being non empty full SubRelStr of T holds
( S is join-inheriting iff for X being non empty finite Subset of S holds "\/" (X,T) in the carrier of S )