:: deftheorem defines with_small_semilattices WAYBEL30:def 2 :
for N being non empty TopRelStr holds
( N is with_small_semilattices iff for x being Point of N ex J being basis of x st
for A being Subset of N st A in J holds
subrelstr A is meet-inheriting );