The theory of semisets - Vopěnka, Petr, 1935-2015; Hájek, Petr, 1940-2016 (Academia, 1972)