View source for Perfect irreducible mapping

A [[Perfect mapping|perfect mapping]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072050/p0720501.png" /> of a topological space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072050/p0720502.png" /> onto a topological space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072050/p0720503.png" /> which is irreducible (that is, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072050/p0720504.png" /> is not the image of any proper closed subset of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072050/p0720505.png" />, cf. also [[Irreducible mapping|Irreducible mapping]]).