theorem Th21: :: YELLOW_8:21

for T being non empty Hausdorff TopSpace
for S being irreducible Subset of T holds S is trivial