:: deftheorem Def5 defines topological_semilattice YELLOW13:def 5 :
for T being non empty TopSpace-like TopRelStr holds
( T is topological_semilattice iff for f being Function of [:T,T:],T st f = inf_op T holds
f is continuous );