for L being Semilattice
for S being meet-closed Subset of L holds S is filtered