:: deftheorem Def1 defines having_trivial_Fundamental_Group TOPALG_6:def 1 :
for T being non empty TopSpace holds
( T is having_trivial_Fundamental_Group iff for t being Point of T holds pi_1 (T,t) is trivial );