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