:: deftheorem Def6 defines homogeneous TOPGRP_1:def 6 :
for T being TopStruct holds
( T is homogeneous iff for p, q being Point of T ex f being Homeomorphism of T st f . p = q );