:: deftheorem Def13 defines -CL-opp_category WAYBEL34:def 13 :
for W being with_non-empty_element set
for b₂ being non empty strict full subcategory of W -SUP(SO)_category holds
( b₂ = W -CL-opp_category iff for a being Object of (W -SUP(SO)_category) holds
( a is Object of b₂ iff latt a is continuous ) );