The theory of semisets - Vopěnka, Petr. (Studies in logic and the foundations of mathematics,)