Il ressort clairement de cette définition qu'un ensemble est un sous-ensemble ; dans les cas où l'on souhaite éviter cela, le terme sous-ensemble approprié est défini pour exclure cette possibilité.
Dans cet exemple, il est clair qu'un ensemble est un sous-ensemble de lui-même. Dans les cas où l'on souhaite ne pas avoir cette possibilité, le terme "sous-ensemble correct" n'est pas censé avoir cette possibilité.