Semiset

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. The concept of semisets opens the way for a formulation of an alternative set theory.

Semisets can be used to represent sets with imprecise boundaries. Vilém Novák (1984) studied approximation of semisets by fuzzy sets, which are often more suitable for practical applications of the modeling of imprecision.

References

Vopěnka, P., and Hájek, P. The Theory of Semisets. Amsterdam: North-Holland, 1972.
Novák, V. "Fuzzy sets—the approximation of semisets." Fuzzy Sets and Systems 14 (1984): 259–272.

This article is issued from Wikipedia - version of the Tuesday, December 31, 2013. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.