:: deftheorem Def12 defines -CL_category WAYBEL34:def 12 :
for W being with_non-empty_element set
for b₂ being non empty strict full subcategory of W -INF(SC)_category holds
( b₂ = W -CL_category iff for a being Object of (W -INF(SC)_category) holds
( a is Object of b₂ iff latt a is continuous ) );