:: deftheorem Def11 defines -CONT_category YELLOW21:def 11 :
for W being with_non-empty_element set
for b₂ being non empty strict full subcategory of W -UPS_category holds
( b₂ = W -CONT_category iff for a being Object of (W -UPS_category) holds
( a is Object of b₂ iff latt a is continuous ) );