theorem Th5: :: TOPGEN_4:5

for T being non empty TopSpace holds density T c= weight T