theorem Th21: :: WAYBEL12:21

for L being Semilattice
for F being filtered upper Subset of L holds F "/\" F = F