Definition:Irreducible (Topology)