From ProofWiki
Jump to navigation Jump to search

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.