Irreducible Topological Subset is Prime Element