theorem :: YELLOW12:27

for N being sup-Semilattice
for A being Subset of N st subrelstr A is join-inheriting holds
A is directed