Definition:Subset/Notation

Notation for Subset

Notation in the literature for the concept of a subset can be confusing.

On $\mathsf{Pr} \infty \mathsf{fWiki}$, the convention is as follows:

$\subseteq$ is used for the general subset

$\subsetneq$ or $\subsetneqq$ is used for the concept of a proper subset.

The notation $\subset$ is deprecated on $\mathsf{Pr} \infty \mathsf{fWiki}$, on the grounds that it can mean either.

Sources

• 1996: Winfried Just and Martin Weese: Discovering Modern Set Theory. I: The Basics ... (previous) ... (next): Basic Notations