In set theory, a semiset is a proper class that is a subclass of a set. In the typical foundations of Zermelo-Fraenkel set theory, semisets are impossible due to the axiom schema of specification.

The theory of semisets was proposed and developed