In set theory, a semiset is a proper class that is contained in a set.
The theory of semisets was proposed and developed by Czech mathematicians Petr Vopěnka and Petr Hájek (1972). It is based on a modification of the von Neumann–Bernays–Gödel set theory; in standard NBG, the existence of semisets is precluded by the axiom of separation.
Explore contextually related video stories in a new eye-catching way. Try Combster now!