theorem Th60: :: WAYBEL_1:60

for S being Semilattice
for x being Element of S holds x "/\" is monotone