Equivalence of K -irreducibility concepts Ivo Marek; Karel Žitný — 1984 Commentationes Mathematicae Universitatis Carolinae