Konečné množiny - Janda, Zbyněk (1973)