theorem :: YELLOW12:26

for N being Semilattice
for A being Subset of N st subrelstr A is meet-inheriting holds
A is filtered