:: deftheorem Def12 defines -ALG_category YELLOW21:def 12 :
for W being with_non-empty_element set
for b₂ being non empty strict full subcategory of W -CONT_category holds
( b₂ = W -ALG_category iff for a being Object of (W -CONT_category) holds
( a is Object of b₂ iff latt a is algebraic ) );