for T being non empty T_1 TopSpace
for A being finite Subset of T holds A is closed