:: deftheorem Def12 defines density TOPGEN_1:def 12 :
for T being TopSpace
for b₂ being cardinal number holds
( b₂ = density T iff ( ex A being Subset of T st
( A is dense & b₂ = card A ) & ( for B being Subset of T st B is dense holds
b₂ c= card B ) ) );