theorem Th14: :: WAYBEL21:14

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